Tue, 28 Sep 2010 09:06:56 +0200 | tuned error and writeln | file | diff | annotate |
Sat, 25 Sep 2010 16:49:33 +0200 | rewrite_ returns assumptions without Trueprop (as was in Isabelle2002) | file | diff | annotate |
Thu, 23 Sep 2010 16:38:25 +0200 | changed 'writeln' --> 'tracing' in src/ and _NOT_ in test/ | file | diff | annotate |
Thu, 23 Sep 2010 08:43:36 +0200 | repaired is_copy_named, cpy_nam and improved tests & comments | file | diff | annotate |
Thu, 12 Aug 2010 11:02:32 +0200 | moved isac + test to final dire-structure | file | diff | annotate |