equal
deleted
inserted
replaced
21 val solver_options_of: Proof.context -> string list |
21 val solver_options_of: Proof.context -> string list |
22 |
22 |
23 (*options*) |
23 (*options*) |
24 val oracle: bool Config.T |
24 val oracle: bool Config.T |
25 val datatypes: bool Config.T |
25 val datatypes: bool Config.T |
|
26 val timeoutN: string |
26 val timeout: real Config.T |
27 val timeout: real Config.T |
27 val random_seed: int Config.T |
28 val random_seed: int Config.T |
28 val fixed: bool Config.T |
29 val fixed: bool Config.T |
29 val verbose: bool Config.T |
30 val verbose: bool Config.T |
30 val traceN: string |
31 val traceN: string |