src/HOL/Induct/ABexp.thy
Mon, 01 Oct 2001 15:46:35 +0200 wenzelm tuned;
Sat, 03 Feb 2001 17:40:16 +0100 wenzelm Induct: converted some theories to new-style format;
Thu, 05 Nov 1998 14:05:57 +0100 nipkow Shortened names and added new thm.
Fri, 23 Oct 1998 12:55:36 +0200 berghofe New example for using the datatype package:
less more (0) tip