src/Pure/Proof/proof_syntax.ML
2001-09-28 berghofe 2001-09-28 - Tuned syntax - proof_of_term: fixed problems with dummy patterns and typing information
2001-08-31 wenzelm 2001-08-31 tuned headers;
2001-08-31 berghofe 2001-08-31 Initial revision of tools for proof terms.