src/Pure/Proof/ROOT.ML
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2001-08-31 wenzelm 2001-08-31 tuned headers;
2001-08-31 berghofe 2001-08-31 Initial revision of tools for proof terms.