| 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 |
| Thu, 13 May 2010 15:09:42 +0200 | ballarin | Fix syntax; apparently constant apply was introduced in an earlier changeset. | changeset | files |
| Thu, 13 May 2010 14:47:15 +0200 | ballarin | Merged. | changeset | files |
| Thu, 13 May 2010 13:30:16 +0200 | ballarin | Add mixin to base morphism, required by class package; cf ab324ffd6f3d. | changeset | files |
| Thu, 13 May 2010 13:29:43 +0200 | ballarin | Remove improper use of mixin in class package. | changeset | files |
| Thu, 13 May 2010 14:34:05 +0200 | nipkow | Multiset: renamed, added and tuned lemmas; | changeset | files |