Mon, 19 Apr 2010 15:21:35 +0200 | blanchet | cosmetics | changeset | files |
Mon, 19 Apr 2010 15:15:21 +0200 | blanchet | make Sledgehammer's minimizer also minimize Isar proofs | changeset | files |
Mon, 19 Apr 2010 11:54:07 +0200 | blanchet | don't use readable names if proof reconstruction is needed, because it uses the structure of names | changeset | files |