Lines Matching defs:jump
213 val jump = add_newline >> add_newline
265 add_string "struct" >> jump >>
273 add_string "else ()") >> jump >>
288 ) >> jump >>
297 jump >>
332 val jump = add_newline >> add_newline
434 pp_thid_and_parents theory parents0 >> jump >>
436 pp_incorporate_types types >> jump >>
438 lift theoryout_idtable idtable >> jump >>
440 lift theoryout_typetable tytable >> jump >>
442 pp_incorporate_constants constants >> jump >>
444 lift theoryout_termtable tmtable >> jump >>
446 pp_theorems >> jump >>
448 dblist () >> jump >>
450 pr_loadable term_to_string thydata >> jump