Wed, 27 Jul 2011 09:30:15 +0200 | prepared "axioms" (Isabelle2002) --> "axiomatization" (Isabelle2011) | file | diff | annotate |
Tue, 26 Jul 2011 13:27:59 +0200 | intermed: decomment test/../eqsystem.sml OK | file | diff | annotate |
Thu, 17 Mar 2011 10:11:18 +0100 | intermed. usecase Diophant | file | diff | annotate |
Thu, 10 Mar 2011 16:04:00 +0100 | intermed.update Isabelle2011: HOL.True | file | diff | annotate |
Thu, 10 Mar 2011 15:16:13 +0100 | intermed.update Isabelle2011: | file | diff | annotate |
Thu, 10 Mar 2011 15:12:55 +0100 | intermed.update Isabelle2011: after fetch ?!? | file | diff | annotate |
Thu, 10 Mar 2011 12:45:58 +0100 | intermed.update Isabelle2011: HOL.Trueprop | file | diff | annotate |
Fri, 04 Mar 2011 11:30:37 +0100 | intermed.update Isabelle2001: make tests work | file | diff | annotate |