| Mon, 28 Nov 1994 16:45:29 +0100 |
nipkow |
Fixed small bug in print-translation for set comprehension.
|
file |
diff |
annotate
|
| Wed, 21 Sep 1994 15:40:41 +0200 |
wenzelm |
minor cleanup, added 'axclass', 'instance', 'syntax', 'defs' sections;
|
file |
diff |
annotate
|
| Wed, 31 Aug 1994 17:50:59 +0200 |
nipkow |
Added IMP, which necessiated changes in intr_elim.tex (mk_cases).
|
file |
diff |
annotate
|
| Thu, 25 Aug 1994 11:01:45 +0200 |
lcp |
INSTALLATION OF INDUCTIVE DEFINITIONS
|
file |
diff |
annotate
|
| Wed, 15 Jun 1994 19:28:35 +0200 |
nipkow |
Added set comprehension as a syntactic abbreviation:
|
file |
diff |
annotate
|
| Thu, 17 Mar 1994 11:27:29 +0100 |
clasohm |
adapted type definition to new syntax
|
file |
diff |
annotate
|
| Mon, 25 Oct 1993 14:36:27 +0100 |
wenzelm |
added white-space;
|
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
|