changeset 33756 | 47b7c9e0bf6e |
parent 33552 | 506f80a9afe8 |
child 33889 | 4328de748fb2 |
33755:6dc1b67f2127 | 33756:47b7c9e0bf6e |
---|---|
2058 *} |
2058 *} |
2059 |
2059 |
2060 setup {* |
2060 setup {* |
2061 Predicate_Compile_Alternative_Defs.setup |
2061 Predicate_Compile_Alternative_Defs.setup |
2062 #> Predicate_Compile_Inline_Defs.setup |
2062 #> Predicate_Compile_Inline_Defs.setup |
2063 #> Predicate_Compile_Preproc_Const_Defs.setup |
|
2064 *} |
2063 *} |
2065 |
2064 |
2066 |
2065 |
2067 subsection {* Legacy tactics and ML bindings *} |
2066 subsection {* Legacy tactics and ML bindings *} |
2068 |
2067 |