src/Pure/Pure.thy
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.