Tue, 05 Nov 2002 15:51:18 +0100 |
paulson |
new operator transrec3
|
file |
diff |
annotate
|
Fri, 19 Jul 2002 13:28:19 +0200 |
paulson |
A couple of new theorems for Constructible
|
file |
diff |
annotate
|
Sun, 14 Jul 2002 15:14:43 +0200 |
paulson |
improved presentation markup
|
file |
diff |
annotate
|
Wed, 05 Jun 2002 15:34:55 +0200 |
paulson |
Tidying up. Mainly moving proofs from Main.thy to other (Isar) theory files.
|
file |
diff |
annotate
|
Fri, 17 May 2002 16:54:25 +0200 |
paulson |
New theorems from Constructible, and moving some Isar material from Main
|
file |
diff |
annotate
|
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
|