GitHub - theoremprover-museum/isabelle: Archival Versions of the Isabelle Theorem Prover

Early versions of Isabelle

Feel free to make a proper repository from these.

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
Isabelle2002.tar.gz		Isabelle2002.tar.gz
Isabelle2003.tar.gz		Isabelle2003.tar.gz
Isabelle2004.tar.gz		Isabelle2004.tar.gz
Isabelle2005.tar.gz		Isabelle2005.tar.gz
Isabelle2007.tar.gz		Isabelle2007.tar.gz
Isabelle2008.tar.gz		Isabelle2008.tar.gz
Isabelle2009-1.tar.gz		Isabelle2009-1.tar.gz
Isabelle2009-2.tar.gz		Isabelle2009-2.tar.gz
Isabelle2009.tar.gz		Isabelle2009.tar.gz
Isabelle2011-1.tar.gz		Isabelle2011-1.tar.gz
Isabelle2011.tar.gz		Isabelle2011.tar.gz
Isabelle2012.tar.gz		Isabelle2012.tar.gz
Isabelle2013-1.tar.gz		Isabelle2013-1.tar.gz
Isabelle2013-2.tar.gz		Isabelle2013-2.tar.gz
Isabelle2013.tar.gz		Isabelle2013.tar.gz
Isabelle2014.tar.gz		Isabelle2014.tar.gz
Isabelle2015.tar.gz		Isabelle2015.tar.gz
Isabelle2016-1.tar.gz		Isabelle2016-1.tar.gz
Isabelle2016.tar.gz		Isabelle2016.tar.gz
Isabelle2017.tar.gz		Isabelle2017.tar.gz
Isabelle86.tar.gz		Isabelle86.tar.gz
Isabelle89.tar.gz		Isabelle89.tar.gz
Isabelle90.tar.gz		Isabelle90.tar.gz
Isabelle91.tar.gz		Isabelle91.tar.gz
Isabelle92.tar.gz		Isabelle92.tar.gz
Isabelle93.tar.gz		Isabelle93.tar.gz
Isabelle94-6.tar.gz		Isabelle94-6.tar.gz
Isabelle94-7.tar.gz		Isabelle94-7.tar.gz
Isabelle94-8.tar.gz		Isabelle94-8.tar.gz
Isabelle94.tar.gz		Isabelle94.tar.gz
Isabelle98-1.tar.gz		Isabelle98-1.tar.gz
Isabelle98.tar.gz		Isabelle98.tar.gz
Isabelle99-1.tar.gz		Isabelle99-1.tar.gz
Isabelle99-2.tar.gz		Isabelle99-2.tar.gz
Isabelle99.tar.gz		Isabelle99.tar.gz
README.md		README.md