src/HOL/Tools/prop_logic.ML
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