src/HOL/AxClasses/Tutorial/Xor.thy
changeset 2907 0e272e4c7cb2
parent 1247 18b1441fb603
     1.1 --- a/src/HOL/AxClasses/Tutorial/Xor.thy	Fri Apr 04 16:03:11 1997 +0200
     1.2 +++ b/src/HOL/AxClasses/Tutorial/Xor.thy	Fri Apr 04 16:03:44 1997 +0200
     1.3 @@ -2,14 +2,14 @@
     1.4      ID:         $Id$
     1.5      Author:     Markus Wenzel, TU Muenchen
     1.6  
     1.7 -Define overloaded constants "<*>", "inv", "1" on type "bool".
     1.8 +Define overloaded constants "<*>", "inverse", "1" on type "bool".
     1.9  *)
    1.10  
    1.11  Xor = Group +
    1.12  
    1.13  defs
    1.14 -  prod_bool_def "x <*> y == x ~= (y::bool)"
    1.15 -  inv_bool_def  "inv x   == x::bool"
    1.16 -  unit_bool_def "1       == False"
    1.17 +  prod_bool_def     "x <*> y   == x ~= (y::bool)"
    1.18 +  inverse_bool_def  "inverse x == x::bool"
    1.19 +  unit_bool_def     "1         == False"
    1.20  
    1.21  end