| Sat, 13 Mar 2010 16:44:12 +0100 |
wenzelm |
removed old CVS Ids;
|
file |
diff |
annotate
|
| Mon, 11 Feb 2008 21:32:10 +0100 |
wenzelm |
added Id;
|
file |
diff |
annotate
|
| Mon, 11 Feb 2008 15:40:21 +0100 |
krauss |
Made theory names in ZF disjoint from HOL theory names to allow loading both developments
|
file |
diff |
annotate
|
| Sun, 07 Oct 2007 21:19:31 +0200 |
wenzelm |
modernized specifications;
|
file |
diff |
annotate
|
| Thu, 26 Apr 2007 15:42:04 +0200 |
wenzelm |
removed lagacy ML files;
|
file |
diff |
annotate
|
| Mon, 17 Oct 2005 23:10:22 +0200 |
wenzelm |
moved pos/negDivAlg_induct declarations to Integ/IntDiv.thy;
|
file |
diff |
annotate
|
| Fri, 17 Jun 2005 16:12:49 +0200 |
haftmann |
migrated theory headers to new format
|
file |
diff |
annotate
|
| Wed, 14 Apr 2004 14:13:05 +0200 |
kleing |
use more symbols in HTML output
|
file |
diff |
annotate
|
| 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
|