Fri, 01 Apr 2016 17:25:51 +0200 | blanchet | reintroduced check that may guard some tactic failures | changeset | files |
Fri, 01 Apr 2016 15:17:11 +0200 | blanchet | adapt theory names within the theory | changeset | files |
Thu, 31 Mar 2016 21:19:45 +0200 | traytel | made tactic more robust | changeset | files |