src/Pure/Isar/calculation.ML
Fri, 04 Jun 1999 19:55:41 +0200 wenzelm Support for calculational proofs.
less more (0) tip