src/HOL/AxClasses/Tutorial/Sigs.thy

--- a/src/HOL/AxClasses/Tutorial/Sigs.thy	Fri Apr 04 16:03:11 1997 +0200
+++ b/src/HOL/AxClasses/Tutorial/Sigs.thy	Fri Apr 04 16:03:44 1997 +0200
@@ -9,7 +9,7 @@
 
 consts
   "<*>"         :: "['a, 'a] => 'a"             (infixl 70)
-  "inv"         :: "'a => 'a"
+  inverse       :: "'a => 'a"
   "1"           :: "'a"                         ("1")
 
 end