src/HOL/Tools/TFL/rules.ML
2009-10-29 wenzelm 2009-10-29 eliminated some old folds;
2009-10-29 wenzelm 2009-10-29 standardized filter/filter_out;
2009-10-21 wenzelm 2009-10-21 standardized basic operations on type option;
2009-09-29 wenzelm 2009-09-29 explicit indication of Unsynchronized.ref;
2009-09-18 haftmann 2009-09-18 tuned const_name antiquotations
2009-08-31 krauss 2009-08-31 moved wfrec to Recdef.thy
2009-08-28 wenzelm 2009-08-28 modernized messages -- eliminated old Display.print_cterm;
2009-07-21 wenzelm 2009-07-21 proper context for Display.pretty_thm etc. or old-style versions Display.pretty_thm_global, Display.pretty_thm_without_context etc.;
2009-07-06 wenzelm 2009-07-06 structure Thm: less pervasive names;
2009-03-01 wenzelm 2009-03-01 use long names for old-style fold combinators;
2009-01-01 wenzelm 2009-01-01 normalized some ML type/val aliases;
2008-12-31 wenzelm 2008-12-31 moved old add_type_XXX, add_term_XXX etc. to structure OldTerm;
2008-12-31 wenzelm 2008-12-31 moved old add_term_vars, add_term_frees etc. to structure OldTerm;
2008-05-17 wenzelm 2008-05-17 structure Display: less pervasive operations;
2008-04-26 krauss 2008-04-26 fixed recdef, broken by my previous commit
2008-04-12 wenzelm 2008-04-12 rep_cterm/rep_thm: no longer dereference theory_ref;
2007-05-31 wenzelm 2007-05-31 moved TFL files to canonical place;