Sat, 24 Sep 2005 13:54:35 +0200 | webertj | cnf_struct renamed to cnf | file | diff | annotate |
Sat, 24 Sep 2005 13:11:05 +0200 | obua | preliminary fix of HOL build problem | file | diff | annotate |
Fri, 23 Sep 2005 22:58:50 +0200 | webertj | new sat tactic imports resolution proofs from zChaff | file | diff | annotate |