Reimplemented parts of datatype package dealing with datatypes involving
function types. Now also supports functions with more than one argument.
(* Title: HOLCF/Fun2.thy
ID: $Id$
Author: Franz Regensburger
License: GPL (GNU GENERAL PUBLIC LICENSE)
*)
Fun2 = Fun1 +
(* default class is still type!*)
instance fun :: (type, po) po (refl_less_fun,antisym_less_fun,trans_less_fun)
end