equal
deleted
inserted
replaced
77 -- "lower bound of timing estimate for forked nested proofs (seconds)" |
77 -- "lower bound of timing estimate for forked nested proofs (seconds)" |
78 |
78 |
79 |
79 |
80 section "Detail of Proof Recording" |
80 section "Detail of Proof Recording" |
81 |
81 |
82 option proofs : int = 1 |
|
83 -- "level of detail for proof objects: 0, 1, 2" |
|
84 option quick_and_dirty : bool = false |
82 option quick_and_dirty : bool = false |
85 -- "if true then some tools will OMIT some proofs" |
83 -- "if true then some tools will OMIT some proofs" |
86 option skip_proofs : bool = false |
84 option skip_proofs : bool = false |
87 -- "skip over proofs (implicit 'sorry')" |
85 -- "skip over proofs (implicit 'sorry')" |
88 |
86 |