| Thu, 11 Feb 2010 21:33:25 +0100 |
wenzelm |
modernized syntax/translations;
|
file |
diff |
annotate
|
| Tue, 24 Nov 2009 17:28:25 +0100 |
haftmann |
curried take/drop
|
file |
diff |
annotate
|
| Wed, 21 Oct 2009 00:36:12 +0200 |
wenzelm |
standardized basic operations on type option;
|
file |
diff |
annotate
|
| Sat, 17 Oct 2009 14:43:18 +0200 |
wenzelm |
eliminated hard tabulators, guessing at each author's individual tab-width;
|
file |
diff |
annotate
|
| Fri, 24 Jul 2009 22:09:09 +0200 |
wenzelm |
do not open OldGoals;
|
file |
diff |
annotate
|
| 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 17:03:20 +0200 |
wenzelm |
eliminated theory CPure;
|
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, 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
|
| Tue, 01 Jun 2004 12:33:50 +0200 |
wenzelm |
removed obsolete sort 'logic';
|
file |
diff |
annotate
|
| Tue, 08 Jan 2002 00:03:42 +0100 |
wenzelm |
syntax "_not_equal";
|
file |
diff |
annotate
|
| Mon, 02 Oct 2000 14:57:46 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 16 Jul 2000 20:56:53 +0200 |
wenzelm |
adapted tuple syntax;
|
file |
diff |
annotate
|
| Tue, 13 Jun 2000 18:34:59 +0200 |
wenzelm |
rename @case to _case_syntax (improves on low-level errors);
|
file |
diff |
annotate
|
| Thu, 22 Apr 1999 10:56:37 +0200 |
mueller |
added modelchecker mucke besides modelchecker eindhoven;
|
file |
diff |
annotate
|