--- 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)"