Thu, 07 Apr 2005 09:25:33 +0200 |
wenzelm |
reverted renaming of Some/None in comments and strings;
|
file |
diff |
annotate
|
Sun, 13 Feb 2005 17:15:14 +0100 |
skalberg |
Deleted Library.option type.
|
file |
diff |
annotate
|
Mon, 22 Oct 2001 11:54:22 +0200 |
paulson |
Numerals now work for the integers: the binary numerals for 0 and 1 rewrite
|
file |
diff |
annotate
|
Sat, 06 Oct 2001 00:02:46 +0200 |
wenzelm |
* sane numerals (stage 2): plain "num" syntax (removed "#");
|
file |
diff |
annotate
|
Fri, 05 Oct 2001 21:52:39 +0200 |
wenzelm |
sane numerals (stage 1): added generic 1, removed 1' and 2 on nat,
|
file |
diff |
annotate
|
Mon, 02 Oct 2000 14:58:03 +0200 |
wenzelm |
qed "";
|
file |
diff |
annotate
|
Fri, 06 Aug 1999 17:29:43 +0200 |
paulson |
the whole file is now loaded only if SVC is enabled
|
file |
diff |
annotate
|
Fri, 06 Aug 1999 11:06:16 +0200 |
paulson |
some hard propositional examples
|
file |
diff |
annotate
|
Tue, 03 Aug 1999 13:08:18 +0200 |
paulson |
new examples file for SVC
|
file |
diff |
annotate
|