2006-10-10 ago gen_rem(s) abandoned in favour of remove / subtract
2006-09-06 ago now using TypecopyPackage
2006-08-08 ago dropped duplicated line
2006-07-29 ago Goal.prove: more tactic arguments;
2006-07-11 ago replaced Term.variant(list) by Name.variant(_list);
2006-07-08 ago Goal.prove: context;
2006-06-11 ago avoid unqualified exception;
2006-05-30 ago tuned type print-translations
2006-05-29 ago fixed bug in type print translations
2006-04-06 ago adaptions to change in typedef_package.ML
2006-02-15 ago removed distinct, renamed gen_distinct to distinct;
2006-02-07 ago renamed gen_duplicates to duplicates;
2006-02-06 ago TableFun: renamed xxx_multi to xxx_list;
2006-02-06 ago subsituted gen_duplicates / has_duplicates for duplicates whenever appropriate
2006-01-31 ago advanced translations: Context.generic;
2006-01-21 ago simplified type attribute;
2006-01-19 ago setup: theory -> theory;
2006-01-14 ago generic attributes;
2006-01-14 ago sane ERROR handling;
2006-01-10 ago generic attributes;
2005-12-22 ago induct_rulify;
2005-12-09 ago oriented result pairs in PureThy
2005-12-06 ago re-oriented some result tuples in PureThy
2005-12-02 ago introduced new map2, fold
2005-11-10 ago renamed Thm.cgoal_of to Thm.cprem_of;
2005-10-28 ago accomodate simplified Thm.lift_rule;
2005-10-28 ago cleaned up nth, nth_update, nth_map and nth_string functions
2005-10-21 ago avoid triv_goal and home-grown meta_allE;
2005-10-19 ago removed print_exn (better let the toplevel do this);
2005-10-18 ago Simplifier.theory_context;
2005-10-17 ago change_claset/simpset;
2005-09-23 ago simprocs: pattern now "x" (the proc is supposed to discriminate faster than Pattern.match);
2005-09-23 ago bugfix in record_tr'
2005-09-20 ago tuned simprocs;
2005-09-19 ago introduced AList module
2005-09-15 ago TableFun/Symtab: curried lookup and update;
2005-09-14 ago introduced AList.lookup
2005-09-13 ago the_list (cf. Pure/library.ML);
2005-09-05 ago curried_lookup/update;
2005-09-05 ago introduced binding priority 1 for linear combinators etc.
2005-08-30 ago fixed bug in record_type_abbr_tr'
2005-08-16 ago OuterKeyword;
2005-08-01 ago simprocs: Simplifier.inherit_bounds;
2005-07-28 ago Sign.typ_unify;
2005-07-19 ago removed some garbage;
2005-07-13 ago avoiding even more garbage
2005-07-12 ago avoid some garbage
2005-06-17 ago accomodate change of TheoryDataFun;
2005-06-13 ago more timing information
2005-06-11 ago refer to name spaces values instead of names;
2005-06-09 ago Sign.read_typ_abbrev;
2005-06-05 ago bugfix in record_type_abbr_tr'
2005-05-31 ago renamed cond_extern to extern;
2005-05-13 ago Bugfix in syntax translation for record type.
2005-05-02 ago Removed nodup_vars avoiding hack
2005-03-04 ago Removed practically all references to Library.foldr.
2005-03-03 ago Move towards standard functions.
2005-02-13 ago Deleted Library.option type.
2004-11-05 ago * extended interface of record_split_simp_tac and record_split_simproc
2004-10-26 ago Removed code generator stuff. Code generation is now handled by code