Tue, 28 Sep 2010 09:06:56 +0200 | tuned error and writeln | file | diff | annotate |
Thu, 23 Sep 2010 16:38:25 +0200 | changed 'writeln' --> 'tracing' in src/ and _NOT_ in test/ | file | diff | annotate |
Fri, 10 Sep 2010 11:58:46 +0200 | intermediate in Knowledge/Isac.thy | file | diff | annotate |
Fri, 03 Sep 2010 17:19:20 +0200 | updated Knowledge/Rational | file | diff | annotate |
Wed, 01 Sep 2010 15:17:43 +0200 | fixed all @{thm } in src+test | file | diff | annotate |
Tue, 31 Aug 2010 16:00:13 +0200 | num_str --> num_str @{thm | file | diff | annotate |
Wed, 25 Aug 2010 16:20:07 +0200 | renamed isac's directories and Build_Isac.thy | file | diff | annotate | base |