# HG changeset patch
# User wenzelm
# Date 1158700534 -7200
# Node ID 1bb9a04f8c227f6e72546c9db5fde8b2c2dc8107
# Parent  ba081ac0ed7e50deeab9537361ce2d3ea44c6017
removed duplicate arities;

diff -r ba081ac0ed7e -r 1bb9a04f8c22 src/HOL/UNITY/Comp/Counterc.thy
--- a/src/HOL/UNITY/Comp/Counterc.thy	Tue Sep 19 23:15:32 2006 +0200
+++ b/src/HOL/UNITY/Comp/Counterc.thy	Tue Sep 19 23:15:34 2006 +0200
@@ -16,7 +16,6 @@
 theory Counterc imports "../UNITY_Main" begin
 
 typedecl state
-arities state :: type
 
 consts
   C :: "state=>int"
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"