| Mon, 02 Sep 2013 16:16:08 +0200 | Test_Isac works again, almost .. | file | diff | annotate |
| Fri, 15 Apr 2011 15:58:52 +0200 | added ctxt-test, updated get_assumptions_ | file | diff | annotate |
| Wed, 23 Mar 2011 17:20:39 +0100 | make Test_Isac.thy run in jEdit; intermed. | file | diff | annotate |
| Thu, 10 Mar 2011 16:04:00 +0100 | intermed.update Isabelle2011: HOL.True | file | diff | annotate |
| Tue, 28 Sep 2010 09:06:56 +0200 | tuned error and writeln | file | diff | annotate |
| Wed, 08 Sep 2010 16:47:22 +0200 | tuned src + test | file | diff | annotate |
| Wed, 08 Sep 2010 12:10:43 +0200 | tuned | file | diff | annotate |
| Mon, 30 Aug 2010 14:35:51 +0200 | renamed test/* according to src/* | file | diff | annotate | base |