equal
deleted
inserted
replaced
69 val maxthy: theory -> theory -> theory |
69 val maxthy: theory -> theory -> theory |
70 eqtype filename |
70 eqtype filename |
71 val lim_deriv: int Unsynchronized.ref |
71 val lim_deriv: int Unsynchronized.ref |
72 val isabthys: unit -> theory list |
72 val isabthys: unit -> theory list |
73 val partID': ThyC.theory' -> string |
73 val partID': ThyC.theory' -> string |
74 val thm2guh: string * ThyC.thyID -> ThmC.thmID -> guh |
74 val thm2guh: string * ThyC.thyID -> ThmC_Def.thmID -> guh |
75 val rls2guh: string * ThyC.thyID -> Rule_Set.identifier -> guh |
75 val rls2guh: string * ThyC.thyID -> Rule_Set.identifier -> guh |
76 val theID2guh: theID -> guh |
76 val theID2guh: theID -> guh |
77 type pbt_ = string * (term * term) |
77 type pbt_ = string * (term * term) |
78 eqtype xml |
78 eqtype xml |
79 val cal2guh: string * ThyC.thyID -> string -> guh |
79 val cal2guh: string * ThyC.thyID -> string -> guh |