src/HOLCF/IOA/meta_theory/ioa_package.ML
2008-06-25 wenzelm 2008-06-25 moved global keywords from OuterSyntax to OuterKeyword, tuned interfaces;
2008-06-18 wenzelm 2008-06-18 OldGoals.simple_read_term;
2008-05-18 wenzelm 2008-05-18 moved global pretty/string_of functions from Sign to Syntax;
2008-03-20 wenzelm 2008-03-20 simplified get_thm(s): back to plain name argument;
2008-03-19 wenzelm 2008-03-19 renamed datatype thmref to Facts.ref, tuned interfaces;
2007-10-06 wenzelm 2007-10-06 simplified interfaces for outer syntax;
2007-09-25 wenzelm 2007-09-25 Syntax.parse/check/read;
2007-09-18 wenzelm 2007-09-18 simplified PrintMode interfaces;
2007-09-17 wenzelm 2007-09-17 avoid direct access to print_mode;
2007-04-14 wenzelm 2007-04-14 cleaned/simplified Sign.read_typ, Thm.read_cterm etc.;
2007-04-04 wenzelm 2007-04-04 removed obsolete sign_of/sign_of_thm;
2006-07-25 wenzelm 2006-07-25 renamed Term.variant_abs to Syntax.variant_abs;
2005-12-20 haftmann 2005-12-20 removed superfluos is_prefix functions
2005-12-06 haftmann 2005-12-06 re-oriented some result tuples in PureThy
2005-10-19 wenzelm 2005-10-19 removed obsolete IOA/meta_theory/ioa_package.ML;
2005-09-03 wenzelm 2005-09-03 setmp print_mode []; more robust outer syntax; tuned;
2005-08-16 wenzelm 2005-08-16 OuterKeyword;
2005-06-20 wenzelm 2005-06-20 get_thm(s): Name;
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2005-01-24 berghofe 2005-01-24 Adapted to modified interface of PureThy.get_thm(s).
2002-02-24 wenzelm 2002-02-24 replaced 'using' keyword by 'to';
2001-12-01 wenzelm 2001-12-01 removed dead code;
2000-10-12 wenzelm 2000-10-12 removed nonsensical print statement;
2000-07-13 wenzelm 2000-07-13 adapted PureThy.add_defs;
2000-04-18 wenzelm 2000-04-18 renamed 'hide' to 'hide_action';
2000-03-13 wenzelm 2000-03-13 adapted to new PureThy.add_thms etc.;
2000-01-05 wenzelm 2000-01-05 replaced HOLogic.termTVar by HOLogic.termT;
1999-07-19 wenzelm 1999-07-19 renamed 'with' to 'using';
1999-05-24 wenzelm 1999-05-24 outer syntax keyword classification; no open OuterParse;
1999-04-26 wenzelm 1999-04-26 tuned msgs; outer syntax;
1999-04-22 mueller 1999-04-22 added frontend syntax for IOA, moved trivial examples to folder ex;