src/HOL/AxClasses/Tutorial/Sigs.thy
changeset 2907 0e272e4c7cb2
parent 1247 18b1441fb603
     1.1 --- a/src/HOL/AxClasses/Tutorial/Sigs.thy	Fri Apr 04 16:03:11 1997 +0200
     1.2 +++ b/src/HOL/AxClasses/Tutorial/Sigs.thy	Fri Apr 04 16:03:44 1997 +0200
     1.3 @@ -9,7 +9,7 @@
     1.4  
     1.5  consts
     1.6    "<*>"         :: "['a, 'a] => 'a"             (infixl 70)
     1.7 -  "inv"         :: "'a => 'a"
     1.8 +  inverse       :: "'a => 'a"
     1.9    "1"           :: "'a"                         ("1")
    1.10  
    1.11  end