src/HOL/UNITY/Reach.thy

--- a/src/HOL/UNITY/Reach.thy	Tue Apr 27 15:39:43 1999 +0200
+++ b/src/HOL/UNITY/Reach.thy	Wed Apr 28 13:36:31 1999 +0200
@@ -6,7 +6,7 @@
 Reachability in Directed Graphs.  From Chandy and Misra, section 6.4.
 *)
 
-Reach = FP + Traces + SubstAx +
+Reach = FP + SubstAx +
 
 types   vertex
         state = "vertex=>bool"