Mon, 21 Feb 2011 19:40:36 +0100 | part.update Isabelle2011 | file | diff | annotate |
Fri, 08 Oct 2010 18:51:23 +0200 | repaired fun nxt_specify_ | file | diff | annotate |
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 |