changeset 16563 | a92f96951355 |
parent 16479 | cf872f3e16d9 |
child 16588 | 8de758143786 |
16562:b74143e10410 | 16563:a92f96951355 |
---|---|
31 |
31 |
32 begin |
32 begin |
33 |
33 |
34 text{*Every theory of HOL must be a descendant or ancestor of this one!*} |
34 text{*Every theory of HOL must be a descendant or ancestor of this one!*} |
35 |
35 |
36 setup ResAxioms.setup |
36 setup ResAxioms.clause_setup |
37 setup ResAxioms.meson_method_setup |
|
37 setup Reconstruction.setup |
38 setup Reconstruction.setup |
38 |
39 |
39 end |
40 end |