Fri, 05 Oct 2001 21:52:39 +0200 |
wenzelm |
sane numerals (stage 1): added generic 1, removed 1' and 2 on nat,
|
file |
diff |
annotate
|
Mon, 06 Aug 2001 13:43:24 +0200 |
nipkow |
turned translation for 1::nat into def.
|
file |
diff |
annotate
|
Tue, 22 May 2001 15:11:43 +0200 |
berghofe |
Representing set for type nat is now defined via "inductive".
|
file |
diff |
annotate
|
Tue, 09 Jan 2001 15:22:13 +0100 |
nipkow |
`` -> and ``` -> ``
|
file |
diff |
annotate
|
Thu, 12 Oct 2000 18:38:23 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
Tue, 23 May 2000 18:29:17 +0200 |
paulson |
now 0 is overloaded
|
file |
diff |
annotate
|
Fri, 15 Oct 1999 15:31:35 +0200 |
berghofe |
Removed obsolete comment.
|
file |
diff |
annotate
|
Fri, 24 Jul 1998 13:30:28 +0200 |
berghofe |
Removed nat_case, nat_rec, and natE (now provided by datatype
|
file |
diff |
annotate
|
Mon, 20 Oct 1997 11:25:39 +0200 |
wenzelm |
adapted to qualified names;
|
file |
diff |
annotate
|
Fri, 10 Oct 1997 19:02:28 +0200 |
wenzelm |
fixed dots;
|
file |
diff |
annotate
|
Tue, 20 May 1997 11:39:32 +0200 |
paulson |
New pattern-matching definition of pred_nat
|
file |
diff |
annotate
|
Wed, 12 Feb 1997 18:53:59 +0100 |
nipkow |
New class "order" and accompanying changes.
|
file |
diff |
annotate
|