Mon, 13 Aug 2007 21:22:42 +0200 |
haftmann |
fixed syntax
|
file |
diff |
annotate
|
Fri, 10 Aug 2007 17:10:05 +0200 |
haftmann |
syntax fix
|
file |
diff |
annotate
|
Thu, 09 Aug 2007 15:52:45 +0200 |
haftmann |
tuned
|
file |
diff |
annotate
|
Fri, 13 Apr 2007 21:26:34 +0200 |
wenzelm |
do translation: CONST;
|
file |
diff |
annotate
|
Wed, 21 Mar 2007 16:06:15 +0100 |
krauss |
Unified function syntax
|
file |
diff |
annotate
|
Wed, 28 Feb 2007 22:05:43 +0100 |
wenzelm |
tuned ML setup;
|
file |
diff |
annotate
|
Wed, 13 Dec 2006 20:38:19 +0100 |
haftmann |
whitespace correction
|
file |
diff |
annotate
|
Wed, 13 Dec 2006 15:45:29 +0100 |
haftmann |
dropped superfluous header
|
file |
diff |
annotate
|
Thu, 30 Nov 2006 14:17:22 +0100 |
wenzelm |
simplified syntax for 'definition', 'abbreviation';
|
file |
diff |
annotate
|
Sat, 18 Nov 2006 00:20:27 +0100 |
haftmann |
added combinators and lemmas
|
file |
diff |
annotate
|
Fri, 17 Nov 2006 02:20:03 +0100 |
wenzelm |
more robust syntax for definition/abbreviation/notation;
|
file |
diff |
annotate
|
Fri, 10 Nov 2006 07:37:35 +0100 |
haftmann |
improved syntax
|
file |
diff |
annotate
|
Mon, 06 Nov 2006 16:28:33 +0100 |
haftmann |
added state monad to HOL library
|
file |
diff |
annotate
|