| 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 |