| Thu, 11 Feb 2010 09:14:08 +0100 | boehmes | use full paths when importing theories | file | diff | annotate |
| Fri, 22 Jan 2010 16:38:21 +0100 | boehmes | support skolem constant for extensional arrays in Z3 proofs | file | diff | annotate |
| Tue, 27 Oct 2009 18:09:11 +0100 | boehmes | removed unused file smt_builtin.ML, | file | diff | annotate |
| Tue, 20 Oct 2009 10:11:30 +0200 | boehmes | added proof reconstructon for Z3, | file | diff | annotate |