| Tue, 01 Aug 2006 15:28:55 +0200 | webertj | comment (timing information for last example) added | file | diff | annotate |
| Mon, 17 Jul 2006 00:37:06 +0200 | webertj | support for MiniSat proof traces added | file | diff | annotate |
| Fri, 07 Jul 2006 18:13:58 +0200 | webertj | "solver" reference added to make the SAT solver configurable | file | diff | annotate |
| Mon, 03 Jul 2006 17:17:41 +0200 | webertj | CNF tactic invocations moved into comments | file | diff | annotate |
| Tue, 02 May 2006 19:23:48 +0200 | webertj | beta_eta_conversion added to pre_cnf_tac | file | diff | annotate |
| Fri, 10 Mar 2006 16:31:50 +0100 | webertj | clauses now use (meta-)hyps instead of (meta-)implications; significant speedup | file | diff | annotate |
| Sun, 09 Oct 2005 17:06:03 +0200 | webertj | Tactics sat and satx reimplemented, several improvements | file | diff | annotate |