| changeset 41761 | 2dc75bae5226 |
| parent 41499 | d54fe826250e |
| child 41762 | 00060198de12 |
--- a/src/HOL/Tools/SMT/smt_config.ML Sun Feb 13 17:45:21 2011 +0100 +++ b/src/HOL/Tools/SMT/smt_config.ML Mon Feb 14 10:40:43 2011 +0100 @@ -23,6 +23,7 @@ (*options*) val oracle: bool Config.T val datatypes: bool Config.T + val timeoutN: string val timeout: real Config.T val random_seed: int Config.T val fixed: bool Config.T