src/HOL/Datatype.ML
Mon, 21 Jun 2004 10:25:57 +0200 kleing Merged in license change from Isabelle2004
Thu, 21 Feb 2002 20:08:09 +0100 wenzelm theory Option has been assimilated by Datatype;
Sat, 27 Oct 2001 00:00:05 +0200 wenzelm made new-style theory;
Thu, 22 Jun 2000 23:04:34 +0200 wenzelm bind_thm(s);
Thu, 19 Aug 1999 19:00:42 +0200 berghofe Moved sum_case stuff from Sum to Datatype.
less more (0) tip