src/HOL/Refute.thy
2004-11-17 webertj 2004-11-17 removed explicit mentioning of zChaffs version number
2004-08-18 nipkow 2004-08-18 import -> imports
2004-08-16 nipkow 2004-08-16 New theory header syntax.
2004-05-26 webertj 2004-05-26 documentation updated
2004-05-21 wenzelm 2004-05-21 load ML files only once;
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.