| Thu, 31 May 2007 12:06:31 +0200 |
wenzelm |
moved Integ files to canonical place;
|
file |
diff |
annotate
|
| Thu, 26 Apr 2007 15:42:04 +0200 |
wenzelm |
removed lagacy ML files;
|
file |
diff |
annotate
|
| Wed, 19 Oct 2005 21:52:48 +0200 |
wenzelm |
removed obsolete thy_syntax.ML;
|
file |
diff |
annotate
|
| Tue, 11 Oct 2005 13:28:05 +0200 |
wenzelm |
ML_SUFFIX in targets (experimental);
|
file |
diff |
annotate
|
| Mon, 28 Mar 2005 16:19:56 +0200 |
paulson |
conversion of UNITY to Isar scripts
|
file |
diff |
annotate
|
| Sun, 19 Sep 2004 16:51:10 +0200 |
paulson |
converting UNITY/MultisetSum.ML to Isar script
|
file |
diff |
annotate
|
| Fri, 17 Sep 2004 16:08:52 +0200 |
paulson |
converted ZF/Induct/Multiset to Isar script
|
file |
diff |
annotate
|
| Thu, 29 Jul 2004 12:15:53 +0200 |
paulson |
documents for ZF-AC and ZF-Constructible
|
file |
diff |
annotate
|
| Tue, 08 Jun 2004 16:22:30 +0200 |
paulson |
Groups, Rings and supporting lemmas
|
file |
diff |
annotate
|
| Wed, 09 Jul 2003 11:39:34 +0200 |
paulson |
converting more theories to Isar scripts, and tidying
|
file |
diff |
annotate
|
| Tue, 08 Jul 2003 11:44:30 +0200 |
paulson |
Conversion of ZF/UNITY/{FP,Union} to Isar script.
|
file |
diff |
annotate
|
| Mon, 30 Jun 2003 18:15:51 +0200 |
paulson |
Removal of UNITY/UNITYMisc, moving its theorems elsewhere.
|
file |
diff |
annotate
|
| Fri, 27 Jun 2003 18:40:25 +0200 |
paulson |
Conversion of theory UNITY to Isar script
|
file |
diff |
annotate
|
| Fri, 27 Jun 2003 13:15:40 +0200 |
paulson |
Conversion of AllocBase to new-style
|
file |
diff |
annotate
|
| Thu, 26 Jun 2003 15:48:33 +0200 |
paulson |
Conversion of "Merge" to Isar format
|
file |
diff |
annotate
|
| Wed, 25 Jun 2003 13:17:26 +0200 |
paulson |
Conversion of UNITY/Distributor to Isar script. General tidy-up.
|
file |
diff |
annotate
|
| Tue, 24 Jun 2003 16:32:59 +0200 |
paulson |
Converting ZF/UNITY to Isar
|
file |
diff |
annotate
|
| Fri, 20 Jun 2003 18:13:16 +0200 |
paulson |
conversion of ClientImpl to Isar script
|
file |
diff |
annotate
|
| Fri, 20 Jun 2003 12:10:45 +0200 |
paulson |
Adding the theory UNITY/AllocImpl.thy, with supporting lemmas
|
file |
diff |
annotate
|
| Thu, 29 May 2003 17:10:00 +0200 |
paulson |
Introduction of the theories UNITY/Merge, UNITY/ClientImpl
|
file |
diff |
annotate
|
| Wed, 28 May 2003 18:13:41 +0200 |
paulson |
some new ZF/UNITY material from Sidi Ehmety
|
file |
diff |
annotate
|
| Wed, 15 Jan 2003 16:45:32 +0100 |
paulson |
more new-style theories
|
file |
diff |
annotate
|
| Wed, 09 Oct 2002 11:07:13 +0200 |
paulson |
Re-organization of Constructible theories
|
file |
diff |
annotate
|
| Sat, 21 Sep 2002 21:10:34 +0200 |
paulson |
converted to Isar script
|
file |
diff |
annotate
|
| Sat, 07 Sep 2002 22:04:28 +0200 |
paulson |
conversion of ZF/Integ/{Int,Bin} to Isar scripts
|
file |
diff |
annotate
|
| Wed, 28 Aug 2002 13:08:50 +0200 |
paulson |
various new lemmas for Constructible
|
file |
diff |
annotate
|
| Sat, 24 Aug 2002 18:45:21 +0200 |
paulson |
conversion of ZF/IntDiv to Isar script
|
file |
diff |
annotate
|
| Thu, 15 Aug 2002 21:36:26 +0200 |
paulson |
Relativization and absoluteness for DPow!!
|
file |
diff |
annotate
|
| Tue, 13 Aug 2002 17:42:34 +0200 |
paulson |
In ZF/Constructible, moved many results from Satisfies_absolute, etc., to
|
file |
diff |
annotate
|
| Tue, 13 Aug 2002 11:03:11 +0200 |
paulson |
new file Constructible/Satisfies_absolute.thy
|
file |
diff |
annotate
|