changeset 30876 | 613c2eb8aef6 |
parent 30769 | 756088c52d10 |
child 30942 | 1e246776f876 |
--- a/src/Tools/code/code_wellsorted.ML Sun Apr 05 23:19:39 2009 +0200 +++ b/src/Tools/code/code_wellsorted.ML Mon Apr 06 08:24:55 2009 +0200 @@ -95,6 +95,7 @@ val empty_vardeps_data : vardeps_data = (Vargraph.empty, (Symtab.empty, [])); + (* retrieving equations and instances from the background context *) fun obtain_eqns thy eqngr c =