Wed, 28 Sep 2005 14:16:12 +0200 | webertj | comment fixed | file | diff | annotate |
Sat, 24 Sep 2005 07:57:50 +0200 | webertj | replay_proof optimized: now performs backwards proof search | file | diff | annotate |
Sat, 24 Sep 2005 07:21:46 +0200 | webertj | code reformatted and restructured, many minor modifications | file | diff | annotate |
Fri, 23 Sep 2005 22:58:50 +0200 | webertj | new sat tactic imports resolution proofs from zChaff | file | diff | annotate |