src/Pure/Proof/proof_syntax.ML
2005-03-04 skalberg 2005-03-04 Removed practically all references to Library.foldr.
2005-03-03 skalberg 2005-03-03 Move towards standard functions.
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2004-06-01 wenzelm 2004-06-01 removed obsolete sort 'logic';
2002-08-27 wenzelm 2002-08-27 Thm.proof_of;
2002-05-31 berghofe 2002-05-31 Added constants for Hyp, Oracle and MinProof.
2002-02-20 berghofe 2002-02-20 Moved change_type to proofterm.ML
2001-10-19 wenzelm 2001-10-19 latex output: bold lambda;
2001-09-30 berghofe 2001-09-30 Tuned indentation of abstractions.
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.