src/Pure/Pure.thy
2012-09-26 wenzelm 2012-09-26 tuned pretty_locale/print_locale, with more basic pretty_locale_deps based on that; added command 'locale_deps'; graphview prints plain text only -- removed dependency on old Cobra HTML_Panel;
2012-08-26 wenzelm 2012-08-26 entity markup for theory Pure, to enable hyperlinks etc.;
2012-08-22 wenzelm 2012-08-22 prefer ML_file over old uses;
2012-08-02 wenzelm 2012-08-02 more official command specifications, including source position;
2012-08-01 wenzelm 2012-08-01 more standard bootstrapping of Pure outer syntax;
2012-08-01 wenzelm 2012-08-01 more standard bootstrapping of Pure.thy;
2009-01-21 wenzelm 2009-01-21 removed Ids;
2008-11-20 wenzelm 2008-11-20 Pure syntax: more coherent treatment of aprop, permanent TERM and &&&;
2008-10-28 ballarin 2008-10-28 Removed 'includes meta_term_syntax' and 'includes meta_conjunction_syntax'.
2008-07-25 haftmann 2008-07-25 dropped locale (open)
2008-05-18 wenzelm 2008-05-18 converted to regular application syntax;
2008-04-07 wenzelm 2008-04-07 prefer plain ASCII here;
2008-04-07 wenzelm 2008-04-07 added swap_params;
2008-03-27 wenzelm 2008-03-27 eliminated delayed theory setup
2008-03-27 wenzelm 2008-03-27 reduced to theory body (cf. OuterSyntax.process_file);
2007-07-17 wenzelm 2007-07-17 moved print_translations from Pure.thy to Syntax/syn_trans.ML;
2007-06-20 nipkow 2007-06-20 added meta_impE
2007-05-11 wenzelm 2007-05-11 tuned proofs;
2006-12-02 wenzelm 2006-12-02 meta_term_syntax: proper operation on untyped preterms;
2006-12-02 wenzelm 2006-12-02 added some support for embedded terms;
2006-09-19 wenzelm 2006-09-19 revert to previous version;
2006-09-19 haftmann 2006-09-19 (void)
2006-06-06 wenzelm 2006-06-06 removed Toplevel.debug;
2006-06-06 ballarin 2006-06-06 Improved parameter management of locales.
2006-02-22 wenzelm 2006-02-22 simplified Pure conjunction;
2006-02-15 wenzelm 2006-02-15 cannot use section before setup;
2006-01-29 wenzelm 2006-01-29 tuned proofs;
2006-01-19 wenzelm 2006-01-19 tuned comments;
2006-01-13 wenzelm 2006-01-13 implicit setup, which admits exception_trace;
2005-12-22 wenzelm 2005-12-22 added locale meta_conjunction_syntax and various conjunction rules;
2005-10-28 wenzelm 2005-10-28 tuned;
2005-04-23 wenzelm 2005-04-23 tuned proofs;
2005-04-21 wenzelm 2005-04-21 The Pure theory.