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