changeset 38465 | 1f51486da674 |
parent 38454 | 9043eefe8d71 |
child 38492 | 8a7ff1c25773 |
--- a/src/HOL/Tools/ATP/atp_systems.ML Tue Aug 17 16:38:45 2010 +0200 +++ b/src/HOL/Tools/ATP/atp_systems.ML Tue Aug 17 16:47:19 2010 +0200 @@ -8,7 +8,9 @@ signature ATP_SYSTEMS = sig datatype failure = - Unprovable | IncompleteUnprovable | MalformedOutput | UnknownError + Unprovable | IncompleteUnprovable | CantConnect | TimedOut | OutOfResources | + OldSpass | OldVampire | NoPerl | NoLibwwwPerl | MalformedInput | + MalformedOutput | UnknownError type prover_config = {exec: string * string,