| Thu, 12 Sep 2013 11:23:49 +0200 | traytel | removed unused/inlinable theorems | changeset | files |
| Thu, 12 Sep 2013 11:05:19 +0200 | blanchet | when pouring in extra features into the goal, only consider facts from the current theory -- the bottom 10 facts of the last import might be completely unrelated | changeset | files |
| Thu, 12 Sep 2013 10:40:53 +0200 | blanchet | minor fixes | changeset | files |