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