| changeset 69593 | 3dda49e08b9d |
| parent 67149 | e61557884799 |
| child 74508 | 3315c551fe6e |
| 69592:a80d8ec6c998 | 69593:3dda49e08b9d |
|---|---|
98 (* hook *) |
98 (* hook *) |
99 |
99 |
100 fun try_solve_direct auto = do_solve_direct (if auto then Auto_Try else Try) |
100 fun try_solve_direct auto = do_solve_direct (if auto then Auto_Try else Try) |
101 |
101 |
102 val _ = |
102 val _ = |
103 Try.tool_setup (solve_directN, (10, @{system_option auto_solve_direct}, try_solve_direct)); |
103 Try.tool_setup (solve_directN, (10, \<^system_option>\<open>auto_solve_direct\<close>, try_solve_direct)); |
104 |
104 |
105 end; |
105 end; |