src/Provers/Arith/nat_transitive.ML
Wed, 26 Nov 1997 16:42:56 +0100 wenzelm moved to Arith/;
less more (0) tip