src/HOL/Refute.thy
2005-09-29 wenzelm 2005-09-29 explicit dependencies of SAT vs. Refute; moved late refute setup to SAT;
2005-07-18 webertj 2005-07-18 Documentation updated
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
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.