src/HOL/Tools/refute_isar.ML
Sat, 10 Jan 2004 13:35:10 +0100 webertj Adding 'refute' to HOL.
less more (0) tip