src/HOL/Refute.thy
2004-04-16 wenzelm 2004-04-16 tuned document;
2004-03-11 webertj 2004-03-11 Documentation updated
2004-03-10 webertj 2004-03-10 *** empty log message ***
2004-01-10 webertj 2004-01-10 Adding 'refute' to HOL.