src/HOL/Tools/prop_logic.ML
2005-10-09 webertj 2005-10-09 Tactics sat and satx reimplemented, several improvements
2005-07-26 webertj 2005-07-26 comment modified
2005-07-25 webertj 2005-07-25 defcnf renamed to auxcnf, new defcnf algorithm added, simplify added
2005-07-25 webertj 2005-07-25 defcnf modified to internally use a reference
2005-03-03 skalberg 2005-03-03 Move towards standard functions.
2005-02-23 webertj 2005-02-23 exception SAME removed
2004-11-19 webertj 2004-11-19 comment modified
2004-06-17 webertj 2004-06-17 improved defcnf conversion
2004-06-13 webertj 2004-06-13 faster defcnf conversion
2004-05-17 webertj 2004-05-17 Comments fixed
2004-04-28 webertj 2004-04-28 comments modified
2004-03-10 webertj 2004-03-10 Formulas of propositional logic