Sun, 01 May 2011 18:37:24 +0200 | blanchet | more higher-order tests for Sledgehammer/ATP | changeset | files |
Sun, 01 May 2011 18:37:24 +0200 | blanchet | added friendly hint when Isar proof is missing | changeset | files |
Sun, 01 May 2011 18:37:24 +0200 | blanchet | fix handling of proxies after recent drastic changes to the type encodings | changeset | files |