Thu, 28 Aug 2014 16:58:26 +0200 | blanchet | tuned method description | changeset | files |
Thu, 28 Aug 2014 16:58:26 +0200 | blanchet | three-line 'obtain' format for generated Isar proofs | changeset | files |
Thu, 28 Aug 2014 15:51:50 +0200 | wenzelm | tuned; | changeset | files |