--- a/src/HOLCF/domain/library.ML Wed Dec 18 15:16:13 1996 +0100
+++ b/src/HOLCF/domain/library.ML Wed Dec 18 15:19:42 1996 +0100
@@ -6,6 +6,7 @@
library for domain section
*)
+
(* ----- general support ---------------------------------------------------- *)
fun Id x = x;