equal
deleted
inserted
replaced
92 * (((string * sort) list * (thm * bool) list) Symtab.table |
92 * (((string * sort) list * (thm * bool) list) Symtab.table |
93 * (class * string) list); |
93 * (class * string) list); |
94 |
94 |
95 val empty_vardeps_data : vardeps_data = |
95 val empty_vardeps_data : vardeps_data = |
96 (Vargraph.empty, (Symtab.empty, [])); |
96 (Vargraph.empty, (Symtab.empty, [])); |
|
97 |
97 |
98 |
98 (* retrieving equations and instances from the background context *) |
99 (* retrieving equations and instances from the background context *) |
99 |
100 |
100 fun obtain_eqns thy eqngr c = |
101 fun obtain_eqns thy eqngr c = |
101 case try (Graph.get_node eqngr) c |
102 case try (Graph.get_node eqngr) c |