src/HOLCF/Fun3.ML

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/HOLCF/Fun3.ML	Wed Jan 19 17:35:01 1994 +0100
@@ -0,0 +1,7 @@
+(*  Title: 	HOLCF/fun3.ML
+    ID:         $Id$
+    Author: 	Franz Regensburger
+    Copyright   1993 Technische Universitaet Muenchen
+*)
+
+open Fun3;