Wed, 06 Apr 2011 18:01:02 +0200 | intermed. context introduction to specification phase | file | diff | annotate |
Mon, 04 Apr 2011 11:05:07 +0200 | intermed. context integration appl_add does not work | file | diff | annotate |
Sat, 19 Mar 2011 13:06:19 +0100 | intermed. usecase Diophant: usecase1 finished in Test_Isac.thy | file | diff | annotate |
Mon, 11 Oct 2010 13:31:22 +0200 | removed all ".thy" in src/ and test/ | file | diff | annotate |
Tue, 28 Sep 2010 09:06:56 +0200 | tuned error and writeln | file | diff | annotate |
Mon, 30 Aug 2010 14:35:51 +0200 | renamed test/* according to src/* | file | diff | annotate | base |