changeset 243 | c22b85994e17 |
--- /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 + + +