| Fri, 13 Feb 2009 23:55:04 +0100 |
nipkow |
finiteness lemmas
|
file |
diff |
annotate
|
| Mon, 09 Feb 2009 16:20:24 +0000 |
chaieb |
Imports Main in order to avoid the typerep problem
|
file |
diff |
annotate
|
| Mon, 07 Jul 2008 08:47:17 +0200 |
haftmann |
absolute imports of HOL/*.thy theories
|
file |
diff |
annotate
|
| Tue, 01 Jul 2008 01:19:08 +0200 |
huffman |
rename lemmas INF_foo to INFM_foo; add new lemmas about MOST and INFM
|
file |
diff |
annotate
|
| Thu, 26 Jun 2008 10:07:01 +0200 |
haftmann |
established Plain theory and image
|
file |
diff |
annotate
|
| Mon, 17 Dec 2007 18:11:21 +0100 |
paulson |
fixed ancestors
|
file |
diff |
annotate
|
| Mon, 10 Dec 2007 11:24:09 +0100 |
haftmann |
switched import from Main to PreList
|
file |
diff |
annotate
|
| Thu, 14 Jun 2007 23:04:39 +0200 |
wenzelm |
tuned proofs;
|
file |
diff |
annotate
|
| Sat, 10 Mar 2007 16:25:57 +0100 |
berghofe |
Renamed INF to INFM to avoid clash with INF operator defined in FixedPoint theory.
|
file |
diff |
annotate
|
| Thu, 01 Feb 2007 13:41:19 +0100 |
paulson |
new theorem int_infinite
|
file |
diff |
annotate
|
| Fri, 17 Nov 2006 02:20:03 +0100 |
wenzelm |
more robust syntax for definition/abbreviation/notation;
|
file |
diff |
annotate
|
| Wed, 08 Nov 2006 23:11:13 +0100 |
wenzelm |
moved theories Parity, GCD, Binomial to Library;
|
file |
diff |
annotate
|
| Tue, 07 Nov 2006 11:47:57 +0100 |
wenzelm |
renamed 'const_syntax' to 'notation';
|
file |
diff |
annotate
|
| Sun, 01 Oct 2006 18:29:26 +0200 |
wenzelm |
moved theory Infinite_Set to Library;
|
file |
diff |
annotate
|