author | blanchet |
Thu, 31 Jan 2013 18:04:19 +0100 | |
changeset 52197 | da8aeffde7a5 |
parent 52196 | cca90dd51e82 |
child 52198 | 02cb70db9ede |
1.1 --- a/src/HOL/TPTP/mash_eval.ML Thu Jan 31 17:54:05 2013 +0100 1.2 +++ b/src/HOL/TPTP/mash_eval.ML Thu Jan 31 18:04:19 2013 +0100 1.3 @@ -9,6 +9,7 @@ 1.4 sig 1.5 type params = Sledgehammer_Provers.params 1.6 1.7 + val MePoN : string 1.8 val MaSh_IsarN : string 1.9 val MaSh_ProverN : string 1.10 val MeSh_IsarN : string