+−(* Title: HOLCF/fun3.ML +− ID: $Id$ +− Author: Franz Regensburger +− Copyright 1993 Technische Universitaet Muenchen +−*) +− +−open Fun3;