src/HOL/Tools/TFL/usyntax.ML
Thu, 01 Jul 2010 16:54:44 +0200 haftmann "prod" and "sum" replace "*" and "+" respectively
Mon, 28 Jun 2010 15:03:07 +0200 haftmann merged constants "split" and "prod_case"
Thu, 10 Jun 2010 12:24:03 +0200 haftmann tuned quotes, antiquotations and whitespace
Wed, 26 May 2010 16:05:25 +0200 haftmann normalized references to constant "split"
Fri, 18 Sep 2009 09:07:50 +0200 haftmann tuned const_name antiquotations
Wed, 29 Jul 2009 16:48:34 +0200 haftmann cleaned up abstract tuple operations and named them consistently
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;
Sat, 26 Apr 2008 08:49:31 +0200 krauss fixed recdef, broken by my previous commit
Thu, 31 May 2007 13:18:52 +0200 wenzelm moved TFL files to canonical place;
less more (0) tip