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