equal
deleted
inserted
replaced
22 val typedef: (bool * string) * (bstring * string list * mixfix) * string |
22 val typedef: (bool * string) * (bstring * string list * mixfix) * string |
23 * (string * string) option -> theory -> Proof.state |
23 * (string * string) option -> theory -> Proof.state |
24 val typedef_i: (bool * string) * (bstring * string list * mixfix) * term |
24 val typedef_i: (bool * string) * (bstring * string list * mixfix) * term |
25 * (string * string) option -> theory -> Proof.state |
25 * (string * string) option -> theory -> Proof.state |
26 val setup: theory -> theory |
26 val setup: theory -> theory |
|
27 structure TypedefData: THEORY_DATA |
27 end; |
28 end; |
28 |
29 |
29 structure TypedefPackage: TYPEDEF_PACKAGE = |
30 structure TypedefPackage: TYPEDEF_PACKAGE = |
30 struct |
31 struct |
31 |
32 |