| Fri, 01 Oct 2010 10:23:38 +0200 | repaired 'prepat's, the patterns and preconditions for Rrls | file | diff | annotate |
| Tue, 28 Sep 2010 09:37:41 +0200 | replaced Some,None --> SOME,NONE in all test/../isac/* | file | diff | annotate |
| Tue, 28 Sep 2010 08:58:06 +0200 | interrupted test/../integrate.sml for calculate. | file | diff | annotate |
| Tue, 28 Sep 2010 07:28:10 +0200 | repaired fun uminus_to_string, fun rewrite_terms_ | file | diff | annotate |
| Mon, 27 Sep 2010 13:35:06 +0200 | simplified testing by src/Tools/isac/Build_Test_Isac.thy | file | diff | annotate |