| Mon, 26 Apr 2010 11:34:19 +0200 | haftmann | dropped group_simps, ring_simps, field_eq_simps | file | diff | annotate |
| 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 |