equal
deleted
inserted
replaced
32 max_mono_iters: int, |
32 max_mono_iters: int, |
33 max_new_mono_instances: int, |
33 max_new_mono_instances: int, |
34 isar_proof: bool, |
34 isar_proof: bool, |
35 isar_shrink_factor: int, |
35 isar_shrink_factor: int, |
36 slice: bool, |
36 slice: bool, |
|
37 minimize: bool option, |
37 timeout: Time.time, |
38 timeout: Time.time, |
38 preplay_timeout: Time.time, |
39 preplay_timeout: Time.time, |
39 expect: string} |
40 expect: string} |
40 |
41 |
41 datatype prover_fact = |
42 datatype prover_fact = |
295 max_mono_iters: int, |
296 max_mono_iters: int, |
296 max_new_mono_instances: int, |
297 max_new_mono_instances: int, |
297 isar_proof: bool, |
298 isar_proof: bool, |
298 isar_shrink_factor: int, |
299 isar_shrink_factor: int, |
299 slice: bool, |
300 slice: bool, |
|
301 minimize: bool option, |
300 timeout: Time.time, |
302 timeout: Time.time, |
301 preplay_timeout: Time.time, |
303 preplay_timeout: Time.time, |
302 expect: string} |
304 expect: string} |
303 |
305 |
304 datatype prover_fact = |
306 datatype prover_fact = |