Mon, 29 Nov 2004 14:02:55 +0100 |
paulson |
converted to Isar script, simplifying some results
|
file |
diff |
annotate
|
Mon, 30 Sep 2002 16:14:02 +0200 |
berghofe |
Adapted to new simplifier.
|
file |
diff |
annotate
|
Tue, 02 Apr 2002 13:47:01 +0200 |
nipkow |
Started to convert to locales
|
file |
diff |
annotate
|
Sun, 24 Mar 2002 14:06:21 +0100 |
kleing |
cleanup + simpler monotonicity
|
file |
diff |
annotate
|
Sun, 03 Mar 2002 16:59:08 +0100 |
kleing |
symbolized
|
file |
diff |
annotate
|
Thu, 21 Feb 2002 09:54:08 +0100 |
kleing |
new document
|
file |
diff |
annotate
|
Sun, 16 Dec 2001 00:17:44 +0100 |
kleing |
exceptions
|
file |
diff |
annotate
|
Mon, 26 Mar 2001 19:37:31 +0200 |
nipkow |
simplified proofs
|
file |
diff |
annotate
|
Tue, 16 Jan 2001 00:40:57 +0100 |
wenzelm |
renamed Product_Type.split to split_conv;
|
file |
diff |
annotate
|
Mon, 20 Nov 2000 16:37:42 +0100 |
kleing |
BCV integration (first step)
|
file |
diff |
annotate
|