equal
deleted
inserted
replaced
225 |
225 |
226 use "simpdata.ML" |
226 use "simpdata.ML" |
227 setup Simplifier.setup |
227 setup Simplifier.setup |
228 setup "Simplifier.method_setup Splitter.split_modifiers" setup simpsetup |
228 setup "Simplifier.method_setup Splitter.split_modifiers" setup simpsetup |
229 setup Splitter.setup setup Clasimp.setup |
229 setup Splitter.setup setup Clasimp.setup |
230 setup rulify_attrib_setup |
|
231 |
230 |
232 use "meson_lemmas.ML" |
231 use "meson_lemmas.ML" |
233 use "Tools/meson.ML" |
232 use "Tools/meson.ML" |
234 setup meson_setup |
233 setup meson_setup |
235 |
234 |