equal
deleted
inserted
replaced
14 |
14 |
15 (* Add user sections *) |
15 (* Add user sections *) |
16 use "../Pure/section_utils.ML"; |
16 use "../Pure/section_utils.ML"; |
17 use "thy_syntax.ML"; |
17 use "thy_syntax.ML"; |
18 |
18 |
|
19 use "../Provers/simplifier.ML"; |
19 use "../Provers/splitter.ML"; |
20 use "../Provers/splitter.ML"; |
20 use "../Provers/hypsubst.ML"; |
21 use "../Provers/hypsubst.ML"; |
21 use "../Provers/classical.ML"; |
22 use "../Provers/classical.ML"; |
22 use "../Provers/blast.ML"; |
23 use "../Provers/blast.ML"; |
23 use "../Provers/nat_transitive.ML"; |
24 use "../Provers/nat_transitive.ML"; |