src/HOLCF/IOA/meta_theory/ioa_package.ML
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;