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
less more (0) -7 tip