equal
deleted
inserted
replaced
34 val parents_of: theory -> theory list |
34 val parents_of: theory -> theory list |
35 val ancestors_of: theory -> theory list |
35 val ancestors_of: theory -> theory list |
36 val theory_id_name: theory_id -> string |
36 val theory_id_name: theory_id -> string |
37 val theory_name: theory -> string |
37 val theory_name: theory -> string |
38 val PureN: string |
38 val PureN: string |
39 val display_name: theory_id -> string |
|
40 val display_names: theory -> string list |
|
41 val pretty_thy: theory -> Pretty.T |
39 val pretty_thy: theory -> Pretty.T |
42 val string_of_thy: theory -> string |
40 val string_of_thy: theory -> string |
43 val pretty_abbrev_thy: theory -> Pretty.T |
41 val pretty_abbrev_thy: theory -> Pretty.T |
44 val str_of_thy: theory -> string |
42 val str_of_thy: theory -> string |
45 val get_theory: theory -> string -> theory |
43 val get_theory: theory -> string -> theory |