| Fri, 25 Nov 1994 14:21:14 +0100 | wenzelm | adapted to 'subtype' section; | file | diff | annotate |
| Wed, 21 Sep 1994 15:40:41 +0200 | wenzelm | minor cleanup, added 'axclass', 'instance', 'syntax', 'defs' sections; | file | diff | annotate |
| Thu, 18 Aug 1994 12:07:51 +0200 | lcp | HOL/Nat: rotated arguments of nat_case; added translation for case macro | file | diff | annotate |
| Tue, 12 Jul 1994 16:34:45 +0200 | lcp | fixed indentation | file | diff | annotate |
| Wed, 29 Jun 1994 12:04:04 +0200 | clasohm | added parentheses made necessary by change of constrain's precedence | file | diff | annotate |
| Thu, 17 Mar 1994 17:02:49 +0100 | lcp | new type declaration syntax instead of numbers | file | diff | annotate |
| Thu, 16 Sep 1993 12:21:07 +0200 | clasohm | Initial revision | file | diff | annotate |