
diff -r 8fe3e66abf0c -r c22b85994e17 src/HOLCF/Fun3.thy
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/HOLCF/Fun3.thy	Wed Jan 19 17:35:01 1994 +0100
@@ -0,0 +1,23 @@
+(*  Title: 	HOLCF/fun3.thy
+    ID:         $Id$
+    Author: 	Franz Regensburger
+    Copyright   1993 Technische Universitaet Muenchen
+
+Class instance of  => (fun) for class pcpo
+
+*)
+
+Fun3 = Fun2 +
+
+(* default class is still term *)
+
+arities fun  :: (term,pcpo)pcpo		(* Witness fun2.ML *)
+
+rules 
+
+inst_fun_pcpo	"UU::'a=>'b::pcpo = UU_fun"
+
+end
+
+
+




