src/HOL/Induct/ABexp.thy
Mon, 21 Jun 2004 10:25:57 +0200 kleing Merged in license change from Isabelle2004
Tue, 13 Nov 2001 22:18:03 +0100 wenzelm tuned inductions;
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