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.