src/HOL/Tools/sat_funcs.ML
2005-10-12 webertj 2005-10-12 counter added to SAT signature
2005-10-12 webertj 2005-10-12 no proof reconstruction when quick_and_dirty is set
2005-10-09 webertj 2005-10-09 Tactics sat and satx reimplemented, several improvements
2005-09-28 webertj 2005-09-28 pre_sat_tac moved towards end of file
2005-09-28 webertj 2005-09-28 comment fixed
2005-09-24 webertj 2005-09-24 replay_proof optimized: now performs backwards proof search
2005-09-24 webertj 2005-09-24 code reformatted and restructured, many minor modifications
2005-09-23 webertj 2005-09-23 new sat tactic imports resolution proofs from zChaff