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