src/HOL/UNITY/Comp/PriorityAux.thy

--- a/src/HOL/UNITY/Comp/PriorityAux.thy	Sat Dec 01 18:51:46 2001 +0100
+++ b/src/HOL/UNITY/Comp/PriorityAux.thy	Sat Dec 01 18:52:32 2001 +0100
@@ -6,10 +6,10 @@
 Auxiliary definitions needed in Priority.thy
 *)
 
-PriorityAux  =  Main +
+PriorityAux = Main +
 
 types vertex
-arities vertex::term
+arities vertex :: type
   
 constdefs
   (* symmetric closure: removes the orientation of a relation *)