--- a/src/HOL/BNF/Tools/bnf_def.ML Thu Aug 29 10:08:55 2013 +0200
+++ b/src/HOL/BNF/Tools/bnf_def.ML Thu Aug 29 11:19:27 2013 +0200
@@ -292,10 +292,10 @@
name: binding,
T: typ,
live: int,
- lives: typ list, (*source type variables of map, only for composition*)
- lives': typ list, (*target type variables of map, only for composition*)
+ lives: typ list, (*source type variables of map*)
+ lives': typ list, (*target type variables of map*)
dead: int,
- deads: typ list, (*only for composition*)
+ deads: typ list,
map: term,
sets: term list,
bd: term,