2011-04-08 wenzelm 2011-04-08 discontinued special treatment of structure Mixfix; eliminated slightly odd no_syn convenience;
2011-03-13 wenzelm 2011-03-13 tuned headers;
2010-12-17 wenzelm 2010-12-17 renamed structure MetaSimplifier to raw_Simplifer, to emphasize its meaning;
2010-11-28 wenzelm 2010-11-28 superficial tuning;
2010-09-20 wenzelm 2010-09-20 renamed structure PureThy to Pure_Thy and moved most content to Global_Theory, to emphasize that this is global-only;
2010-08-27 wenzelm 2010-08-27 more careful treatment of context visibility flag wrt. spurious warnings;
2010-08-26 wenzelm 2010-08-26 renamed Local_Theory.theory(_result) to Local_Theory.background_theory(_result) to emphasize that this belongs to the infrastructure and is rarely appropriate in user-space tools;
2010-08-11 haftmann 2010-08-11 moved theory-level target operation fragements to Generic_Target; adjusted bootstrap order
2010-08-10 haftmann 2010-08-10 basic renumbering
2010-08-10 haftmann 2010-08-10 separated type from term parameters
2010-08-10 haftmann 2010-08-10 moved extra_tfrees check for mixfix syntax to Generic_Target
2010-08-10 haftmann 2010-08-10 name and argument grouping tuning
2010-08-10 haftmann 2010-08-10 whitespace tuning
2010-08-10 haftmann 2010-08-10 added generic_target.ML