| Mon, 19 Aug 1996 11:12:38 +0200 |
paulson |
Renamed setOfList to set_of_list
|
file |
diff |
annotate
|
| Fri, 02 Aug 1996 12:16:11 +0200 |
berghofe |
Simplified primrec definitions.
|
file |
diff |
annotate
|
| Tue, 25 Jun 1996 13:11:29 +0200 |
berghofe |
Changed argument order of nat_rec.
|
file |
diff |
annotate
|
| Tue, 18 Jun 1996 16:20:30 +0200 |
paulson |
Addition of setOfList
|
file |
diff |
annotate
|
| Mon, 05 Feb 1996 21:27:16 +0100 |
clasohm |
expanded tabs; renamed subtype to typedef;
|
file |
diff |
annotate
|
| Fri, 22 Dec 1995 12:25:20 +0100 |
nipkow |
defined take/drop by induction over list rather than nat.
|
file |
diff |
annotate
|
| Wed, 29 Nov 1995 16:44:59 +0100 |
clasohm |
removed quotes from types in consts and syntax sections
|
file |
diff |
annotate
|
| Sun, 12 Nov 1995 16:29:12 +0100 |
nipkow |
added new arithmetic lemmas and the functions take and drop.
|
file |
diff |
annotate
|
| Thu, 29 Jun 1995 16:33:17 +0200 |
lcp |
Added function rev and its properties length_rev, etc.
|
file |
diff |
annotate
|
| Tue, 28 Mar 1995 12:25:20 +0200 |
clasohm |
changed syntax of datatype declarations (curried types for constructor
|
file |
diff |
annotate
|
| Mon, 20 Mar 1995 15:35:28 +0100 |
clasohm |
changed syntax of "if"
|
file |
diff |
annotate
|
| Fri, 03 Mar 1995 12:02:25 +0100 |
clasohm |
new version of HOL with curried function application
|
file |
diff |
annotate
|