changeset 58128 | 43a1ba26a8cb |
parent 57890 | 1e13f63fb452 |
child 58181 | 6d527272f7b2 |
--- a/src/HOL/Tools/BNF/bnf_comp.ML Mon Sep 01 16:34:39 2014 +0200 +++ b/src/HOL/Tools/BNF/bnf_comp.ML Mon Sep 01 16:34:40 2014 +0200 @@ -54,8 +54,8 @@ open BNF_Tactics open BNF_Comp_Tactics -val ID_bnf = the (bnf_of @{context} "BNF_Comp.ID"); -val DEADID_bnf = the (bnf_of @{context} "BNF_Comp.DEADID"); +val ID_bnf = the (bnf_of @{context} "BNF_Composition.ID"); +val DEADID_bnf = the (bnf_of @{context} "BNF_Composition.DEADID"); type comp_cache = (bnf * (typ list * typ list)) Typtab.table;