| Mon, 21 Jan 2002 11:25:45 +0100 |
paulson |
lexical tidying
|
file |
diff |
annotate
|
| Wed, 16 Jan 2002 17:52:06 +0100 |
paulson |
Isar version of AC
|
file |
diff |
annotate
|
| Tue, 08 Jan 2002 16:09:09 +0100 |
paulson |
Added some simprules proofs.
|
file |
diff |
annotate
|
| Thu, 03 Jan 2002 17:01:59 +0100 |
paulson |
Some new theorems for ordinals
|
file |
diff |
annotate
|
| Wed, 19 Dec 2001 11:13:27 +0100 |
paulson |
separation of the AC part of Main into Main_ZFC, plus a few new lemmas
|
file |
diff |
annotate
|
| Sat, 08 Dec 2001 17:25:45 +0100 |
wenzelm |
new-style theory;
|
file |
diff |
annotate
|
| Fri, 11 Aug 2000 13:27:17 +0200 |
paulson |
new theory Integ/IntDiv and many more monotonicity laws, etc., for the integers
|
file |
diff |
annotate
|
| Thu, 10 Aug 2000 11:27:34 +0200 |
paulson |
installation of cancellation simprocs for the integers
|
file |
diff |
annotate
|
| Wed, 28 Jun 2000 10:58:06 +0200 |
paulson |
finally theory Bin (the integers) is included
|
file |
diff |
annotate
|
| Tue, 22 Sep 1998 15:23:39 +0200 |
paulson |
deleted erroneous semicolon
|
file |
diff |
annotate
|
| Fri, 17 Jul 1998 11:13:59 +0200 |
paulson |
as in HOL
|
file |
diff |
annotate
|