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