Fri, 27 Apr 2012 15:24:37 +0200 | blanchet | thread theory cleanly and use "smt" method rather than Sledgehammer for Z3 (because of obscure debilitating bug) | file | diff | annotate |
Fri, 27 Apr 2012 15:24:37 +0200 | blanchet | move file to where it belongs | file | diff | annotate | base |