Fri, 14 May 2010 11:24:14 +0200 | blanchet | pass "full_type" argument to proof reconstruction | changeset | files |
Fri, 14 May 2010 11:23:42 +0200 | blanchet | made Sledgehammer's full-typed proof reconstruction work for the first time; | changeset | files |
Fri, 14 May 2010 11:20:09 +0200 | blanchet | delect installed ATPs dynamically, _not_ at image built time | changeset | files |