equal
deleted
inserted
replaced
20 val loaded_files: theory -> Path.T list |
20 val loaded_files: theory -> Path.T list |
21 val load_current: theory -> bool |
21 val load_current: theory -> bool |
22 val use_ml: Path.T -> unit |
22 val use_ml: Path.T -> unit |
23 val exec_ml: Path.T -> generic_theory -> generic_theory |
23 val exec_ml: Path.T -> generic_theory -> generic_theory |
24 val begin_theory: Path.T -> Thy_Header.header -> theory list -> theory |
24 val begin_theory: Path.T -> Thy_Header.header -> theory list -> theory |
25 val load_thy: (Toplevel.transition -> Time.time) -> int -> Path.T -> Thy_Header.header -> |
25 val load_thy: (Toplevel.transition -> Time.time option) -> int -> Path.T -> Thy_Header.header -> |
26 Position.T -> string -> theory list -> theory * (unit -> unit) * int |
26 Position.T -> string -> theory list -> theory * (unit -> unit) * int |
27 val set_master_path: Path.T -> unit |
27 val set_master_path: Path.T -> unit |
28 val get_master_path: unit -> Path.T |
28 val get_master_path: unit -> Path.T |
29 end; |
29 end; |
30 |
30 |