| Tue, 01 Mar 2005 18:48:52 +0100 |
nipkow |
integrated Jeremy's FiniteLib
|
file |
diff |
annotate
|
| Fri, 18 Feb 2005 11:48:42 +0100 |
nipkow |
tuning
|
file |
diff |
annotate
|
| Thu, 10 Feb 2005 18:51:12 +0100 |
nipkow |
Moved oderings from HOL into the new Orderings.thy
|
file |
diff |
annotate
|
| Mon, 27 Sep 2004 10:27:34 +0200 |
ballarin |
Modified locales: improved implementation of "includes".
|
file |
diff |
annotate
|
| Wed, 18 Aug 2004 11:09:40 +0200 |
nipkow |
import -> imports
|
file |
diff |
annotate
|
| Mon, 16 Aug 2004 14:22:27 +0200 |
nipkow |
New theory header syntax.
|
file |
diff |
annotate
|
| Fri, 06 Aug 2004 16:55:14 +0200 |
nipkow |
undid UN/INT syntax
|
file |
diff |
annotate
|
| Tue, 03 Aug 2004 13:48:00 +0200 |
paulson |
new simprules Int_subset_iff and Un_subset_iff
|
file |
diff |
annotate
|
| Mon, 21 Jun 2004 10:25:57 +0200 |
kleing |
Merged in license change from Isabelle2004
|
file |
diff |
annotate
|
| Sat, 29 May 2004 15:11:43 +0200 |
wenzelm |
\<^bsub>/\<^esub> syntax: unbreakable block;
|
file |
diff |
annotate
|
| Fri, 28 May 2004 11:19:15 +0200 |
paulson |
new theorem Collect_imp_eq
|
file |
diff |
annotate
|
| Wed, 26 May 2004 14:57:06 +0200 |
nipkow |
Corrected printer bug for bounded quantifiers Q x<=y. P
|
file |
diff |
annotate
|
| Mon, 17 May 2004 11:02:16 +0200 |
mehta |
lemma disjoint_int_union removed - too special
|
file |
diff |
annotate
|
| Thu, 13 May 2004 16:02:29 +0200 |
mehta |
New simp rules added:
|
file |
diff |
annotate
|
| Sat, 01 May 2004 22:04:14 +0200 |
wenzelm |
improved subscript syntax;
|
file |
diff |
annotate
|