# HG changeset patch
# User wenzelm
# Date 962142226 -7200
# Node ID b9fe44ad3381e0bf533dfb13f09dda9b33976372
# Parent  adfa40218e06f6b7c99969ce9e71eba0dc1e16cb
replaced arities by instance;

diff -r adfa40218e06 -r b9fe44ad3381 src/HOL/Lex/Prefix.thy
--- a/src/HOL/Lex/Prefix.thy	Tue Jun 27 20:35:31 2000 +0200
+++ b/src/HOL/Lex/Prefix.thy	Tue Jun 27 23:43:46 2000 +0200
@@ -6,7 +6,7 @@
 
 Prefix = Main +
 
-arities list :: (term)ord
+instance list :: (term)ord
 
 defs
         prefix_def        "xs <= zs  ==  ? ys. zs = xs@ys"