changeset 62896 | 4ee9c2be4383 |
parent 62893 | fca40adc6342 |
child 62902 | 3c0f53eae166 |
62895:54c2abe7e9a4 | 62896:4ee9c2be4383 |
---|---|
327 use "Tools/find_consts.ML"; |
327 use "Tools/find_consts.ML"; |
328 use "Tools/simplifier_trace.ML"; |
328 use "Tools/simplifier_trace.ML"; |
329 use_no_debug "Tools/debugger.ML"; |
329 use_no_debug "Tools/debugger.ML"; |
330 use "Tools/named_theorems.ML"; |
330 use "Tools/named_theorems.ML"; |
331 use "Tools/jedit.ML"; |
331 use "Tools/jedit.ML"; |
332 |
|
333 (* :mode=isabelle: *) |