src/HOL/MiniML/Instance.thy
Tue, 02 Mar 2004 01:32:23 +0100 kleing converted to Isar
Fri, 24 Jul 1998 13:19:38 +0200 berghofe Adapted to new datatype package.
Tue, 30 Dec 1997 11:14:09 +0100 nipkow nth -> !
less more (0) tip