Wed, 24 Mar 2010 09:44:47 +0100 | boehmes | cache_io is now just a single ML file instead of a component | file | diff | annotate |
Tue, 16 Feb 2010 15:25:36 +0100 | boehmes | added Cache_IO: cache for output of external tools, | file | diff | annotate |
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 |