diff -r ba081ac0ed7e -r 1bb9a04f8c22 src/HOL/UNITY/Comp/PriorityAux.thy
--- a/src/HOL/UNITY/Comp/PriorityAux.thy	Tue Sep 19 23:15:32 2006 +0200
+++ b/src/HOL/UNITY/Comp/PriorityAux.thy	Tue Sep 19 23:15:34 2006 +0200
@@ -11,7 +11,6 @@
 begin
 
 typedecl vertex
-arities vertex :: type
   
 constdefs
   symcl :: "(vertex*vertex)set=>(vertex*vertex)set"