equal
deleted
inserted
replaced
186 (* theory and package setup *) |
186 (* theory and package setup *) |
187 |
187 |
188 use "HOL_lemmas.ML" setup attrib_setup |
188 use "HOL_lemmas.ML" setup attrib_setup |
189 use "cladata.ML" setup Classical.setup setup clasetup |
189 use "cladata.ML" setup Classical.setup setup clasetup |
190 use "blastdata.ML" setup Blast.setup |
190 use "blastdata.ML" setup Blast.setup |
191 use "simpdata.ML" setup Simplifier.setup setup simpsetup setup Clasimp.setup |
191 use "simpdata.ML" setup Simplifier.setup setup iff_attrib_setup |
|
192 setup simpsetup setup Clasimp.setup |
192 |
193 |
193 |
194 |
194 end |
195 end |