diff -r 0d23a8ae14df -r fbfdc5ac86be src/HOL/UNITY/Simple/Reach.thy
--- a/src/HOL/UNITY/Simple/Reach.thy	Sat Sep 10 21:47:55 2011 +0200
+++ b/src/HOL/UNITY/Simple/Reach.thy	Sat Sep 10 22:11:55 2011 +0200
@@ -34,7 +34,7 @@
 
 
 text{**We assume that the set of vertices is finite*}
-axioms 
+axiomatization where
   finite_graph:  "finite (UNIV :: vertex set)"