equal
deleted
inserted
replaced
12 val add_domain: string -> (string list * binding * mixfix * |
12 val add_domain: string -> (string list * binding * mixfix * |
13 (binding * (bool * binding option * typ) list * mixfix) list) list |
13 (binding * (bool * binding option * typ) list * mixfix) list) list |
14 -> theory -> theory |
14 -> theory -> theory |
15 end; |
15 end; |
16 |
16 |
17 structure Domain_Extender: DOMAIN_EXTENDER = |
17 structure Domain_Extender :> DOMAIN_EXTENDER = |
18 struct |
18 struct |
19 |
19 |
20 open Domain_Library; |
20 open Domain_Library; |
21 |
21 |
22 (* ----- general testing and preprocessing of constructor list -------------- *) |
22 (* ----- general testing and preprocessing of constructor list -------------- *) |