| Sun, 14 Oct 2012 20:00:27 +0200 | 2011-->2012: ... | file | diff | annotate |
| Wed, 23 Mar 2011 17:20:39 +0100 | make Test_Isac.thy run in jEdit; intermed. | file | diff | annotate |
| Mon, 11 Oct 2010 12:55:40 +0200 | intermed. repair Isac.thy, thehier := the_hier ... | file | diff | annotate |
| Tue, 31 Aug 2010 10:19:02 +0200 | cleanup preparing ./thms-replace-Isa02-Isa09-2.sml | file | diff | annotate |
| Mon, 30 Aug 2010 15:18:09 +0200 | checked all rlsthmsNOTisac applicable to reals | file | diff | annotate |