src/Pure/Proof/proof_syntax.ML
Fri, 31 Aug 2001 16:17:05 +0200 berghofe Initial revision of tools for proof terms.
less more (0) tip