2007-07-17 ago moved print_translations from Pure.thy to Syntax/syn_trans.ML;
2007-06-20 ago added meta_impE
2007-05-11 ago tuned proofs;
2006-12-02 ago meta_term_syntax: proper operation on untyped preterms;
2006-12-02 ago added some support for embedded terms;
2006-09-19 ago revert to previous version;
2006-09-19 ago (void)
2006-06-06 ago removed Toplevel.debug;
2006-06-06 ago Improved parameter management of locales.
2006-02-22 ago simplified Pure conjunction;
2006-02-15 ago cannot use section before setup;
2006-01-29 ago tuned proofs;
2006-01-19 ago tuned comments;
2006-01-13 ago implicit setup, which admits exception_trace;
2005-12-22 ago added locale meta_conjunction_syntax and various conjunction rules;
2005-10-28 ago tuned;
2005-04-23 ago tuned proofs;
2005-04-21 ago The Pure theory.