src/HOL/Trancl.thy

--- a/src/HOL/Trancl.thy	Thu Apr 04 11:43:25 1996 +0200
+++ b/src/HOL/Trancl.thy	Thu Apr 04 11:45:01 1996 +0200
@@ -5,9 +5,9 @@
 
 Relfexive and Transitive closure of a relation
 
-rtrancl is refl&transitive closure;
-trancl is transitive closure
-reflcl is reflexive closure
+rtrancl is reflexive/transitive closure;
+trancl  is transitive closure
+reflcl  is reflexive closure
 *)
 
 Trancl = Lfp + Relation +