equal
deleted
inserted
replaced
220 [] (List.mapPartial (try dest) (concl_of th :: prems_of th))) ths |
220 [] (List.mapPartial (try dest) (concl_of th :: prems_of th))) ths |
221 then remove_suc_clause thy ths else ths |
221 then remove_suc_clause thy ths else ths |
222 end; |
222 end; |
223 |
223 |
224 val suc_preproc_setup = |
224 val suc_preproc_setup = |
225 [Codegen.add_preprocessor eqn_suc_preproc, |
225 Codegen.add_preprocessor eqn_suc_preproc #> |
226 Codegen.add_preprocessor clause_suc_preproc]; |
226 Codegen.add_preprocessor clause_suc_preproc; |
227 *} |
227 *} |
228 |
228 |
229 setup suc_preproc_setup |
229 setup suc_preproc_setup |
230 (*>*) |
230 (*>*) |
231 |
231 |