src/HOL/Tools/TFL/casesplit.ML
Sat, 15 May 2010 21:50:05 +0200 wenzelm less pervasive names from structure Thm;
Thu, 15 Oct 2009 23:28:10 +0200 wenzelm replaced String.concat by implode;
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 01:03:18 +0200 wenzelm proper context for Display.pretty_thm etc. or old-style versions Display.pretty_thm_global, Display.pretty_thm_without_context etc.;
Fri, 17 Jul 2009 23:11:40 +0200 wenzelm tuned/modernized Envir.subst_XXX;
Tue, 23 Jun 2009 16:27:12 +0200 haftmann tuned interfaces of datatype module
Fri, 19 Jun 2009 17:23:21 +0200 haftmann discontinued ancient tradition to suffix certain ML module names with "_package"
Wed, 31 Dec 2008 18:53:16 +0100 wenzelm moved old add_type_XXX, add_term_XXX etc. to structure OldTerm;
Wed, 31 Dec 2008 00:08:13 +0100 wenzelm moved old add_term_vars, add_term_frees etc. to structure OldTerm;
Thu, 31 May 2007 13:18:52 +0200 wenzelm moved TFL files to canonical place;
less more (0) tip