| Wed, 02 Mar 2005 22:30:00 +0100 |
huffman |
converted to new-style theory
|
file |
diff |
annotate
|
| Mon, 21 Jun 2004 10:25:57 +0200 |
kleing |
Merged in license change from Isabelle2004
|
file |
diff |
annotate
|
| Sat, 01 Dec 2001 18:52:32 +0100 |
wenzelm |
renamed class "term" to "type" (actually "HOL.type");
|
file |
diff |
annotate
|
| Fri, 09 Nov 2001 00:09:47 +0100 |
wenzelm |
eliminated old "symbols" syntax, use "xsymbols" instead;
|
file |
diff |
annotate
|
| Sat, 03 Nov 2001 01:41:26 +0100 |
wenzelm |
GPLed;
|
file |
diff |
annotate
|
| Thu, 30 Sep 1999 16:16:56 +0200 |
wenzelm |
depend on Main;
|
file |
diff |
annotate
|
| Sun, 25 May 1997 11:07:52 +0200 |
slotosch |
eliminated the constant less by the introduction of the axclass sq_ord
|
file |
diff |
annotate
|
| Fri, 23 May 1997 09:20:35 +0200 |
nipkow |
Base theory is now Arith, not Nat. (because all datatypes now require Arith).
|
file |
diff |
annotate
|
| Tue, 01 Apr 1997 11:16:06 +0200 |
wenzelm |
removed useless symbol font syntax;
|
file |
diff |
annotate
|
| Mon, 17 Feb 1997 10:57:11 +0100 |
slotosch |
Changes of HOLCF from Oscar Slotosch:
|
file |
diff |
annotate
|
| Fri, 13 Dec 1996 18:45:58 +0100 |
oheimb |
adaptions for symbol font
|
file |
diff |
annotate
|
| Mon, 02 Dec 1996 12:37:15 +0100 |
oheimb |
removed 8bit sections
|
file |
diff |
annotate
|
| Fri, 29 Nov 1996 12:22:22 +0100 |
oheimb |
*** empty log message ***
|
file |
diff |
annotate
|
| Tue, 06 Feb 1996 12:42:31 +0100 |
clasohm |
expanded tabs
|
file |
diff |
annotate
|
| Fri, 06 Oct 1995 17:25:24 +0100 |
regensbu |
added 8bit pragmas
|
file |
diff |
annotate
|
| Wed, 29 Jun 1994 12:03:41 +0200 |
clasohm |
added parentheses made necessary by change of constrain's precedence
|
file |
diff |
annotate
|
| Thu, 24 Mar 1994 13:43:45 +0100 |
nipkow |
structural induction for strict lists
|
file |
diff |
annotate
|