src/HOL/Bali/Value.thy
changeset 17160 fb65eda72fc7
parent 16417 9bc16273c2d4
child 32960 69916a850301
--- a/src/HOL/Bali/Value.thy	Sun Aug 28 16:04:43 2005 +0200
+++ b/src/HOL/Bali/Value.thy	Sun Aug 28 16:04:44 2005 +0200
@@ -9,7 +9,6 @@
 theory Value imports Type begin
 
 typedecl loc            --{* locations, i.e. abstract references on objects *}
-arities	 loc :: "type"
 
 datatype val
 	= Unit          --{* dummy result value of void methods *}