| Fri, 13 Nov 2009 15:47:37 +0100 | removed unused code and unused arguments, | file | diff | annotate |
| Fri, 06 Nov 2009 21:53:20 +0100 | made SML/NJ happy | file | diff | annotate |
| Tue, 03 Nov 2009 14:07:38 +0100 | ignore parsing errors, return empty assignment instead | file | diff | annotate |
| Mon, 02 Nov 2009 15:49:59 +0100 | split parsing of counterexamples from translation into terms (avoids Term.dummyT and ill-typed terms) | file | diff | annotate |
| Wed, 21 Oct 2009 12:19:46 +0200 | proper handling of single literal case, | file | diff | annotate |
| Tue, 20 Oct 2009 14:22:02 +0200 | eliminated extraneous wrapping of public records, | file | diff | annotate |
| Fri, 18 Sep 2009 18:13:19 +0200 | added new method "smt": an oracle-based connection to external SMT solvers | file | diff | annotate |