| Thu, 06 Oct 1994 09:36:40 +0100 |
nipkow |
replaced some "rules" by "defs"
|
file |
diff |
annotate
|
| Wed, 21 Sep 1994 15:40:41 +0200 |
wenzelm |
minor cleanup, added 'axclass', 'instance', 'syntax', 'defs' sections;
|
file |
diff |
annotate
|
| Wed, 29 Jun 1994 12:04:04 +0200 |
clasohm |
added parentheses made necessary by change of constrain's precedence
|
file |
diff |
annotate
|
| Tue, 03 May 1994 11:30:09 +0200 |
lcp |
removal of obsolete type-declaration syntax
|
file |
diff |
annotate
|
| Tue, 19 Apr 1994 10:50:00 +0200 |
nipkow |
changed defns in hol.thy from = to ==
|
file |
diff |
annotate
|
| Thu, 17 Mar 1994 11:27:29 +0100 |
clasohm |
adapted type definition to new syntax
|
file |
diff |
annotate
|
| Fri, 11 Feb 1994 11:09:50 +0100 |
nipkow |
added ::bool in the defn of True.
|
file |
diff |
annotate
|
| Wed, 26 Jan 1994 17:53:27 +0100 |
nipkow |
sum: renamed case to sum_case
|
file |
diff |
annotate
|
| Tue, 14 Dec 1993 18:05:22 +0100 |
nipkow |
added syntax for nested lets.
|
file |
diff |
annotate
|
| Mon, 25 Oct 1993 14:35:17 +0100 |
wenzelm |
made ~= a fake infix;
|
file |
diff |
annotate
|
| Fri, 08 Oct 1993 13:46:13 +0100 |
wenzelm |
removed THE;
|
file |
diff |
annotate
|
| Thu, 07 Oct 1993 10:20:30 +0100 |
lcp |
added ~= for "not equals" and added ~: for "not in"
|
file |
diff |
annotate
|
| Mon, 04 Oct 1993 15:43:54 +0100 |
wenzelm |
HOL/hol.thy
|
file |
diff |
annotate
|
| Thu, 16 Sep 1993 12:21:07 +0200 |
clasohm |
Initial revision
|
file |
diff |
annotate
|