src/Pure/Pure.thy
2005-04-23 wenzelm 2005-04-23 tuned proofs;
2005-04-21 wenzelm 2005-04-21 The Pure theory.