| Wed, 11 Nov 2009 15:43:03 +0100 | boehmes | changed URL of SMT server, | file | diff | annotate |
| Tue, 20 Oct 2009 15:03:17 +0200 | boehmes | additional schematic rules for Z3's rewrite rule | file | diff | annotate |
| Tue, 20 Oct 2009 10:11:30 +0200 | boehmes | added proof reconstructon for Z3, | file | diff | annotate |