equal
deleted
inserted
replaced
57 val print_trans_rules: Toplevel.transition -> Toplevel.transition |
57 val print_trans_rules: Toplevel.transition -> Toplevel.transition |
58 val print_methods: Toplevel.transition -> Toplevel.transition |
58 val print_methods: Toplevel.transition -> Toplevel.transition |
59 val print_antiquotations: Toplevel.transition -> Toplevel.transition |
59 val print_antiquotations: Toplevel.transition -> Toplevel.transition |
60 val thm_deps: (thmref * Attrib.src list) list -> |
60 val thm_deps: (thmref * Attrib.src list) list -> |
61 Toplevel.transition -> Toplevel.transition |
61 Toplevel.transition -> Toplevel.transition |
62 val find_theorems: int option * (bool * FindTheorems.search_criterion) list |
62 val find_theorems: int option * (bool * string FindTheorems.criterion) list |
63 -> Toplevel.transition -> Toplevel.transition |
63 -> Toplevel.transition -> Toplevel.transition |
64 val print_binds: Toplevel.transition -> Toplevel.transition |
64 val print_binds: Toplevel.transition -> Toplevel.transition |
65 val print_lthms: Toplevel.transition -> Toplevel.transition |
65 val print_lthms: Toplevel.transition -> Toplevel.transition |
66 val print_cases: Toplevel.transition -> Toplevel.transition |
66 val print_cases: Toplevel.transition -> Toplevel.transition |
67 val print_thms: string list * (thmref * Attrib.src list) list |
67 val print_thms: string list * (thmref * Attrib.src list) list |