Thu, 18 Dec 2003 08:20:36 +0100 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
Sat, 01 Dec 2001 18:52:32 +0100 |
wenzelm |
renamed class "term" to "type" (actually "HOL.type");
|
file |
diff |
annotate
|
Tue, 30 Oct 2001 17:37:25 +0100 |
wenzelm |
tuned induct proofs;
|
file |
diff |
annotate
|
Mon, 15 Oct 2001 20:34:44 +0200 |
wenzelm |
GPLed;
|
file |
diff |
annotate
|
Thu, 11 Jan 2001 19:37:46 +0100 |
wenzelm |
added strict_prefixI', strict_prefixE';
|
file |
diff |
annotate
|
Wed, 22 Nov 2000 21:47:04 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 06 Nov 2000 22:56:07 +0100 |
wenzelm |
improved: 'induct' handle non-atomic goals;
|
file |
diff |
annotate
|
Fri, 03 Nov 2000 21:35:36 +0100 |
wenzelm |
proper setup of "parallel";
|
file |
diff |
annotate
|
Wed, 25 Oct 2000 18:31:21 +0200 |
wenzelm |
"List prefixes" library theory (replaces old Lex/Prefix);
|
file |
diff |
annotate
|