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