equal
deleted
inserted
replaced
34 val thm: thm context_parser |
34 val thm: thm context_parser |
35 val thms: thm list context_parser |
35 val thms: thm list context_parser |
36 val multi_thm: thm list context_parser |
36 val multi_thm: thm list context_parser |
37 val print_configs: Proof.context -> unit |
37 val print_configs: Proof.context -> unit |
38 val internal: (morphism -> attribute) -> src |
38 val internal: (morphism -> attribute) -> src |
39 val config_bool: bstring -> (Proof.context -> bool) -> bool Config.T * (theory -> theory) |
39 val config_bool: bstring -> (Context.generic -> bool) -> bool Config.T * (theory -> theory) |
40 val config_int: bstring -> (Proof.context -> int) -> int Config.T * (theory -> theory) |
40 val config_int: bstring -> (Context.generic -> int) -> int Config.T * (theory -> theory) |
41 val config_string: bstring -> (Proof.context -> string) -> string Config.T * (theory -> theory) |
41 val config_string: bstring -> (Context.generic -> string) -> string Config.T * (theory -> theory) |
42 val config_bool_global: bstring -> (Proof.context -> bool) -> bool Config.T * (theory -> theory) |
42 val config_bool_global: bstring -> (Context.generic -> bool) -> bool Config.T * (theory -> theory) |
43 val config_int_global: bstring -> (Proof.context -> int) -> int Config.T * (theory -> theory) |
43 val config_int_global: bstring -> (Context.generic -> int) -> int Config.T * (theory -> theory) |
44 val config_string_global: bstring -> (Proof.context -> string) -> string Config.T * (theory -> theory) |
44 val config_string_global: bstring -> (Context.generic -> string) -> string Config.T * (theory -> theory) |
45 end; |
45 end; |
46 |
46 |
47 structure Attrib: ATTRIB = |
47 structure Attrib: ATTRIB = |
48 struct |
48 struct |
49 |
49 |