Wed, 20 Feb 2013 08:44:24 +0100 | blanchet | auto-minimizer should respect "isar_proofs = true" | changeset | files |
Wed, 20 Feb 2013 08:44:24 +0100 | blanchet | made "isar_proofs" a 3-way option, to provide a way to totally disable isar_proofs if desired | changeset | files |
Wed, 20 Feb 2013 08:44:24 +0100 | blanchet | alias for people like me | changeset | files |