Thu, 06 Mar 1997 16:04:23 +0100 |
pusch |
primrec definition for nth
|
file |
diff |
annotate
|
Wed, 12 Feb 1997 18:53:59 +0100 |
nipkow |
New class "order" and accompanying changes.
|
file |
diff |
annotate
|
Fri, 17 Jan 1997 10:09:46 +0100 |
nipkow |
Got rid of Alls in List.
|
file |
diff |
annotate
|
Tue, 10 Dec 1996 14:16:11 +0100 |
wenzelm |
removed ambiguous symbols syntax;
|
file |
diff |
annotate
|
Wed, 27 Nov 1996 17:00:25 +0100 |
wenzelm |
added symbols syntax;
|
file |
diff |
annotate
|
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
|