changeset 53286 | 7422380afe23 |
parent 53270 | c8628119d18e |
child 53288 | 050d0bc9afa5 |
--- a/src/HOL/BNF/More_BNFs.thy Thu Aug 29 22:39:46 2013 +0200 +++ b/src/HOL/BNF/More_BNFs.thy Thu Aug 29 22:39:46 2013 +0200 @@ -227,7 +227,7 @@ apply transfer apply simp done -lemmas [simp] = fset.map_comp' fset.map_id' fset.set_map' +lemmas [simp] = fset.map_comp' fset.map_id fset.set_map' lemma fset_rel_fset: "set_rel \<chi> (fset A1) (fset A2) = fset_rel \<chi> A1 A2" unfolding fset_rel_def set_rel_def by auto