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