Wed, 15 Jul 2009 23:48:21 +0200 |
wenzelm |
more antiquotations;
|
file |
diff |
annotate
|
Thu, 18 Sep 2008 19:39:44 +0200 |
wenzelm |
simplified oracle interface;
|
file |
diff |
annotate
|
Wed, 17 Sep 2008 21:27:14 +0200 |
wenzelm |
moved global ML bindings to global place;
|
file |
diff |
annotate
|
Sun, 18 May 2008 15:04:09 +0200 |
wenzelm |
moved global pretty/string_of functions from Sign to Syntax;
|
file |
diff |
annotate
|
Wed, 19 Mar 2008 22:50:42 +0100 |
wenzelm |
more antiquotations;
|
file |
diff |
annotate
|
Thu, 06 Mar 2008 21:07:31 +0100 |
wenzelm |
replaced execute by system_out;
|
file |
diff |
annotate
|
Tue, 18 Sep 2007 18:05:37 +0200 |
wenzelm |
simplified PrintMode interfaces;
|
file |
diff |
annotate
|
Thu, 26 Apr 2007 16:39:31 +0200 |
wenzelm |
removed legacy ML files;
|
file |
diff |
annotate
|
Sun, 26 Nov 2006 18:07:16 +0100 |
wenzelm |
updated (binder) syntax/notation;
|
file |
diff |
annotate
|
Tue, 06 Sep 2005 16:24:53 +0200 |
wenzelm |
converted to Isar theory format;
|
file |
diff |
annotate
|
Thu, 19 Aug 1999 19:55:13 +0200 |
wenzelm |
quite a lot of tuning an cleanup;
|
file |
diff |
annotate
|
Thu, 22 Apr 1999 10:56:37 +0200 |
mueller |
added modelchecker mucke besides modelchecker eindhoven;
|
file |
diff |
annotate
|