src/HOL/Tools/Datatype/datatype_rep_proofs.ML
Tue, 29 Sep 2009 22:48:24 +0200 wenzelm modernized Balanced_Tree;
Mon, 28 Sep 2009 10:20:21 +0200 haftmann avoid compound fields in datatype info record
Sun, 27 Sep 2009 09:52:23 +0200 haftmann registering split rules and projected induction rules; ML identifiers more close to Isar theorem names
Tue, 21 Jul 2009 15:52:30 +0200 haftmann dropped ancient flat_names option
Fri, 10 Jul 2009 07:59:27 +0200 haftmann dropped find_index_eq
Mon, 06 Jul 2009 14:19:13 +0200 haftmann moved Inductive.myinv to Fun.inv; tuned
Tue, 23 Jun 2009 12:09:30 +0200 haftmann uniformly capitialized names for subdirectories
less more (0) tip