src/HOL/Tools/record_package.ML
2006-02-07 wenzelm 2006-02-07 renamed gen_duplicates to duplicates;
2006-02-06 wenzelm 2006-02-06 TableFun: renamed xxx_multi to xxx_list;
2006-02-06 haftmann 2006-02-06 subsituted gen_duplicates / has_duplicates for duplicates whenever appropriate
2006-01-31 wenzelm 2006-01-31 advanced translations: Context.generic; tuned;
2006-01-21 wenzelm 2006-01-21 simplified type attribute;
2006-01-19 wenzelm 2006-01-19 setup: theory -> theory;
2006-01-14 wenzelm 2006-01-14 generic attributes;
2006-01-14 wenzelm 2006-01-14 sane ERROR handling;
2006-01-10 wenzelm 2006-01-10 generic attributes;
2005-12-22 wenzelm 2005-12-22 induct_rulify;
2005-12-09 haftmann 2005-12-09 oriented result pairs in PureThy
2005-12-06 haftmann 2005-12-06 re-oriented some result tuples in PureThy
2005-12-02 haftmann 2005-12-02 introduced new map2, fold
2005-11-10 wenzelm 2005-11-10 renamed Thm.cgoal_of to Thm.cprem_of;
2005-10-28 wenzelm 2005-10-28 accomodate simplified Thm.lift_rule;
2005-10-28 haftmann 2005-10-28 cleaned up nth, nth_update, nth_map and nth_string functions
2005-10-21 wenzelm 2005-10-21 avoid triv_goal and home-grown meta_allE;
2005-10-19 wenzelm 2005-10-19 removed print_exn (better let the toplevel do this);
2005-10-18 wenzelm 2005-10-18 Simplifier.theory_context;
2005-10-17 wenzelm 2005-10-17 change_claset/simpset; Simplifier.inherit_context instead of Simplifier.inherit_bounds;
2005-09-23 wenzelm 2005-09-23 simprocs: pattern now "x" (the proc is supposed to discriminate faster than Pattern.match);
2005-09-23 schirmer 2005-09-23 bugfix in record_tr'
2005-09-20 wenzelm 2005-09-20 tuned simprocs;
2005-09-19 haftmann 2005-09-19 introduced AList module
2005-09-15 wenzelm 2005-09-15 TableFun/Symtab: curried lookup and update;
2005-09-14 haftmann 2005-09-14 introduced AList.lookup
2005-09-13 wenzelm 2005-09-13 the_list (cf. Pure/library.ML);
2005-09-05 wenzelm 2005-09-05 curried_lookup/update;
2005-09-05 haftmann 2005-09-05 introduced binding priority 1 for linear combinators etc.
2005-08-30 schirmer 2005-08-30 fixed bug in record_type_abbr_tr'
2005-08-16 wenzelm 2005-08-16 OuterKeyword;
2005-08-01 wenzelm 2005-08-01 simprocs: Simplifier.inherit_bounds;
2005-07-28 wenzelm 2005-07-28 Sign.typ_unify;
2005-07-19 schirmer 2005-07-19 removed some garbage; fixed record_ex_sel_eq_simproc
2005-07-13 schirmer 2005-07-13 avoiding even more garbage
2005-07-12 schirmer 2005-07-12 avoid some garbage
2005-06-17 wenzelm 2005-06-17 accomodate change of TheoryDataFun; accomodate identification of type Sign.sg and theory;
2005-06-13 schirmer 2005-06-13 more timing information
2005-06-11 wenzelm 2005-06-11 refer to name spaces values instead of names;
2005-06-09 wenzelm 2005-06-09 Sign.read_typ_abbrev;
2005-06-05 schirmer 2005-06-05 bugfix in record_type_abbr_tr'
2005-05-31 wenzelm 2005-05-31 renamed cond_extern to extern; NameSpace.qualified;
2005-05-13 schirmer 2005-05-13 Bugfix in syntax translation for record type.
2005-05-02 schirmer 2005-05-02 Removed nodup_vars avoiding hack
2005-03-04 skalberg 2005-03-04 Removed practically all references to Library.foldr.
2005-03-03 skalberg 2005-03-03 Move towards standard functions.
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2004-11-05 schirmer 2004-11-05 * extended interface of record_split_simp_tac and record_split_simproc * improved record_type_abbr_tr'
2004-10-26 berghofe 2004-10-26 Removed code generator stuff. Code generation is now handled by code generator in typedef_package.
2004-10-15 schirmer 2004-10-15 record_split_simp_tac now can get simp rules as parameter
2004-09-29 schirmer 2004-09-29 tuned performance of record definition
2004-09-22 schirmer 2004-09-22 bug-fix
2004-07-18 schirmer 2004-07-18 tuned
2004-07-16 schirmer 2004-07-16 added: get_extT_fields and get_recT_fields
2004-07-06 schirmer 2004-07-06 * record_upd_simproc also simplifies trivial updates: r(|x := x r|) = r * tuned quick and dirty mode
2004-06-30 schirmer 2004-06-30 Added reference record_definition_quick_and_dirty_sensitive, to skip proofs triggered by a record definition, if quick_and_dirty is enabled.
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2004-06-17 schirmer 2004-06-17 tuned
2004-06-01 wenzelm 2004-06-01 removed obsolete sort 'logic';
2004-05-06 schirmer 2004-05-06 tuned HOL/record package; enabled record_upd_simproc by default.