src/HOL/Tools/cnf_funcs.ML
2006-11-29 wenzelm 2006-11-29 simplified Logic.count_prems;
2006-09-15 wenzelm 2006-09-15 tuned;
2006-08-30 webertj 2006-08-30 faster clause representation (again): full CNF formula as a hypothesis, instead of separate clauses
2006-03-10 webertj 2006-03-10 clauses now use (meta-)hyps instead of (meta-)implications; significant speedup
2005-10-09 webertj 2005-10-09 Tactics sat and satx reimplemented, several improvements
2005-09-23 webertj 2005-09-23 new sat tactic imports resolution proofs from zChaff