| changeset 9526 | e20323caff47 |
| parent 7355 | 4c43090659ca |
| child 9886 | 897d6602cbfb |
| 9525:46fb9ccae463 | 9526:e20323caff47 |
|---|---|
117 |
117 |
118 |
118 |
119 setup Simplifier.setup |
119 setup Simplifier.setup |
120 use "IFOL_lemmas.ML" setup attrib_setup |
120 use "IFOL_lemmas.ML" setup attrib_setup |
121 use "fologic.ML" |
121 use "fologic.ML" |
122 use "hypsubstdata.ML" |
122 use "hypsubstdata.ML" setup hypsubst_setup |
123 use "intprover.ML" |
123 use "intprover.ML" |
124 |
124 |
125 |
125 |
126 end |
126 end |