| 2006-11-29 | wenzelm | 2006-11-29 | simplified method setup; | file | diff | annotate |
| 2005-10-09 | webertj | 2005-10-09 | Tactics sat and satx reimplemented, several improvements | file | diff | annotate |
| 2005-09-29 | wenzelm | 2005-09-29 | explicit dependencies of SAT vs. Refute; removed unused methods; | file | diff | annotate |
| 2005-09-25 | webertj | 2005-09-25 | sat_solver.ML not loaded anymore (already loaded by Refute.thy) | file | diff | annotate |
| 2005-09-24 | webertj | 2005-09-24 | cnf_struct renamed to cnf | file | diff | annotate |
| 2005-09-24 | obua | 2005-09-24 | preliminary fix of HOL build problem | file | diff | annotate |
| 2005-09-23 | webertj | 2005-09-23 | new sat tactic imports resolution proofs from zChaff | file | diff | annotate |