| Fri, 30 Oct 2009 11:31:34 +0100 | boehmes | abstract over variables in reversed order (application uses given order) | file | diff | annotate |
| Thu, 29 Oct 2009 10:52:05 +0100 | boehmes | simplified method syntax of "smt", | file | diff | annotate |
| Tue, 27 Oct 2009 17:34:00 +0100 | wenzelm | normalized basic type abbreviations; | file | diff | annotate |
| Tue, 20 Oct 2009 10:11:30 +0200 | boehmes | added proof reconstructon for Z3, | file | diff | annotate |
| Tue, 29 Sep 2009 16:24:36 +0200 | wenzelm | explicit indication of Unsynchronized.ref; | file | diff | annotate |
| Fri, 18 Sep 2009 18:13:19 +0200 | boehmes | added new method "smt": an oracle-based connection to external SMT solvers | file | diff | annotate |