2010-05-26 haftmann 2010-05-26 dropped legacy theorem bindings
2009-10-17 wenzelm 2009-10-17 eliminated hard tabulators, guessing at each author's individual tab-width; tuned headers;
2009-07-24 wenzelm 2009-07-24 do not open OldGoals;
2009-07-23 wenzelm 2009-07-23 renamed simpset_of to global_simpset_of, and local_simpset_of to simpset_of -- same for claset and clasimpset;
2009-06-23 haftmann 2009-06-23 Datatype.get_all
2009-06-19 haftmann 2009-06-19 discontinued ancient tradition to suffix certain ML module names with "_package"
2009-03-20 wenzelm 2009-03-20 Disposed old declarations, tactics, tactic combinators that refer to the simpset or claset of an implicit theory;
2008-10-16 wenzelm 2008-10-16 avoid CRITICAL with_path;
2008-09-18 wenzelm 2008-09-18 simplified oracle interface;
2008-05-18 wenzelm 2008-05-18 moved global pretty/string_of functions from Sign to Syntax;
2007-04-26 wenzelm 2007-04-26 removed legacy ML files;
2005-09-03 wenzelm 2005-09-03 converted to Isar theory format;
1999-08-19 wenzelm 1999-08-19 quite a lot of tuning and cleanup;
1999-04-22 mueller 1999-04-22 added translation from IOA to mucalculus and corresponding modelchecker examples;