Fri, 22 Jul 2011 14:01:09 +0200 | tuned | file | diff | annotate |
Mon, 14 Mar 2011 16:50:44 +0100 | intermed.update Isabelle2011: tests finished... | file | diff | annotate |
Thu, 10 Mar 2011 17:05:09 +0100 | intermed.update Isabelle2011: Not --> HOL.Not | file | diff | annotate |
Thu, 28 Oct 2010 09:24:47 +0200 | intermed. repair thehier, the hierarchy of thy/thm for access by isac. | file | diff | annotate |
Mon, 11 Oct 2010 14:22:19 +0200 | intermed. repair test/../thy-hierarchy.sml, thehier := the_hier ... | file | diff | annotate |
Mon, 11 Oct 2010 12:55:40 +0200 | intermed. repair Isac.thy, thehier := the_hier ... | file | diff | annotate |