src/HOL/Tools/Datatype/datatype_abs_proofs.ML
Tue, 13 Oct 2009 08:36:39 +0200 haftmann more appropriate abstraction over distinctness rules
Mon, 12 Oct 2009 11:03:10 +0200 haftmann less non-standard combinators
Mon, 12 Oct 2009 10:24:08 +0200 haftmann nth replaces List.nth
Mon, 28 Sep 2009 14:48:30 +0200 haftmann shared code between rep_datatype and datatype
Tue, 21 Jul 2009 15:52:30 +0200 haftmann dropped ancient flat_names option
Thu, 02 Jul 2009 17:34:14 +0200 wenzelm renamed NamedThmsFun to Named_Thms;
Tue, 23 Jun 2009 12:09:30 +0200 haftmann uniformly capitialized names for subdirectories
less more (0) tip