src/Provers/Arith/cancel_numerals.ML
Tue, 18 Apr 2000 15:51:59 +0200 paulson new simprocs for numerals of type "nat"
less more (0) tip