src/HOL/Prolog/Type.thy
changeset 12338 de0f4a63baa5
parent 9015 8006e9009621
child 13208 965f95a3abd9
     1.1 --- a/src/HOL/Prolog/Type.thy	Sat Dec 01 18:51:46 2001 +0100
     1.2 +++ b/src/HOL/Prolog/Type.thy	Sat Dec 01 18:52:32 2001 +0100
     1.3 @@ -4,7 +4,7 @@
     1.4  
     1.5  types ty
     1.6  
     1.7 -arities ty :: term
     1.8 +arities ty :: type
     1.9  
    1.10  consts  bool	:: ty
    1.11  	nat	:: ty