equal
deleted
inserted
replaced
14 |
14 |
15 val add_fixrec_i: bool -> (binding * typ option * mixfix) list |
15 val add_fixrec_i: bool -> (binding * typ option * mixfix) list |
16 -> (Attrib.binding * term) list -> local_theory -> local_theory |
16 -> (Attrib.binding * term) list -> local_theory -> local_theory |
17 |
17 |
18 val add_fixpat: Attrib.binding * string list -> theory -> theory |
18 val add_fixpat: Attrib.binding * string list -> theory -> theory |
19 val add_fixpat_i: (binding * attribute list) * term list -> theory -> theory |
19 val add_fixpat_i: Thm.binding * term list -> theory -> theory |
20 val add_matchers: (string * string) list -> theory -> theory |
20 val add_matchers: (string * string) list -> theory -> theory |
21 val setup: theory -> theory |
21 val setup: theory -> theory |
22 end; |
22 end; |
23 |
23 |
24 structure FixrecPackage: FIXREC_PACKAGE = |
24 structure FixrecPackage: FIXREC_PACKAGE = |