55 val print_trans_rules: Toplevel.transition -> Toplevel.transition |
55 val print_trans_rules: Toplevel.transition -> Toplevel.transition |
56 val print_methods: Toplevel.transition -> Toplevel.transition |
56 val print_methods: Toplevel.transition -> Toplevel.transition |
57 val print_antiquotations: Toplevel.transition -> Toplevel.transition |
57 val print_antiquotations: Toplevel.transition -> Toplevel.transition |
58 val print_thms_containing: int option * string list |
58 val print_thms_containing: int option * string list |
59 -> Toplevel.transition -> Toplevel.transition |
59 -> Toplevel.transition -> Toplevel.transition |
60 val thm_deps: (string * Args.src list) list -> Toplevel.transition -> Toplevel.transition |
60 val thm_deps: (thmref * Args.src list) list -> Toplevel.transition -> Toplevel.transition |
61 val print_binds: Toplevel.transition -> Toplevel.transition |
61 val print_binds: Toplevel.transition -> Toplevel.transition |
62 val print_lthms: Toplevel.transition -> Toplevel.transition |
62 val print_lthms: Toplevel.transition -> Toplevel.transition |
63 val print_cases: Toplevel.transition -> Toplevel.transition |
63 val print_cases: Toplevel.transition -> Toplevel.transition |
64 val print_intros: Toplevel.transition -> Toplevel.transition |
64 val print_intros: Toplevel.transition -> Toplevel.transition |
65 val print_thms: string list * (string * Args.src list) list |
65 val print_thms: string list * (thmref * Args.src list) list |
66 -> Toplevel.transition -> Toplevel.transition |
66 -> Toplevel.transition -> Toplevel.transition |
67 val print_prfs: bool -> string list * (string * Args.src list) list option |
67 val print_prfs: bool -> string list * (thmref * Args.src list) list option |
68 -> Toplevel.transition -> Toplevel.transition |
68 -> Toplevel.transition -> Toplevel.transition |
69 val print_prop: (string list * string) -> Toplevel.transition -> Toplevel.transition |
69 val print_prop: (string list * string) -> Toplevel.transition -> Toplevel.transition |
70 val print_term: (string list * string) -> Toplevel.transition -> Toplevel.transition |
70 val print_term: (string list * string) -> Toplevel.transition -> Toplevel.transition |
71 val print_type: (string list * string) -> Toplevel.transition -> Toplevel.transition |
71 val print_type: (string list * string) -> Toplevel.transition -> Toplevel.transition |
72 val add_header: string * Position.T -> Toplevel.transition -> Toplevel.transition |
72 val add_header: string * Position.T -> Toplevel.transition -> Toplevel.transition |