Fri, 25 Jul 2008 12:03:32 +0200 |
haftmann |
dropped locale (open)
|
file |
diff |
annotate
|
Mon, 10 Dec 2007 11:24:06 +0100 |
haftmann |
explicit import of theory Main
|
file |
diff |
annotate
|
Wed, 11 Jul 2007 11:32:02 +0200 |
berghofe |
- Renamed inductive2 to inductive
|
file |
diff |
annotate
|
Wed, 07 Feb 2007 17:44:07 +0100 |
berghofe |
Adapted to new inductive definition package.
|
file |
diff |
annotate
|
Fri, 17 Jun 2005 16:12:49 +0200 |
haftmann |
migrated theory headers to new format
|
file |
diff |
annotate
|
Tue, 15 Oct 2002 15:37:57 +0200 |
kleing |
alternative syntax
|
file |
diff |
annotate
|
Tue, 16 Jul 2002 18:26:09 +0200 |
wenzelm |
adapted to locale defs;
|
file |
diff |
annotate
|
Thu, 04 Apr 2002 16:47:44 +0200 |
kleing |
tuned
|
file |
diff |
annotate
|
Tue, 02 Apr 2002 13:47:01 +0200 |
nipkow |
Started to convert to locales
|
file |
diff |
annotate
|
Tue, 26 Mar 2002 21:10:16 +0100 |
kleing |
+_f is associative and commutative
|
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
|
Tue, 15 Jan 2002 22:22:05 +0100 |
kleing |
use exec_lub instead of some_lub
|
file |
diff |
annotate
|
Thu, 20 Dec 2001 18:22:44 +0100 |
nipkow |
renamed rtrancl_into_rtrancl2 to converse_rtrancl_into_rtrancl
|
file |
diff |
annotate
|
Tue, 18 Dec 2001 17:31:08 +0100 |
nipkow |
added exec_lub
|
file |
diff |
annotate
|
Sun, 16 Dec 2001 00:17:44 +0100 |
kleing |
exceptions
|
file |
diff |
annotate
|
Thu, 22 Feb 2001 10:18:41 +0100 |
nipkow |
recoded function iter with the help of the while-combinator.
|
file |
diff |
annotate
|
Fri, 09 Feb 2001 16:01:58 +0100 |
kleing |
tuned for 99-2 release
|
file |
diff |
annotate
|
Tue, 16 Jan 2001 00:40:57 +0100 |
wenzelm |
renamed Product_Type.split to split_conv;
|
file |
diff |
annotate
|
Fri, 05 Jan 2001 18:48:18 +0100 |
nipkow |
^^ -> ```
|
file |
diff |
annotate
|
Mon, 20 Nov 2000 16:37:42 +0100 |
kleing |
BCV integration (first step)
|
file |
diff |
annotate
|