The previous log message was wrong. The correct one is:
generalized handling of type expressions, type variables and sorts

--- a/src/HOLCF/domain/extender.ML	Wed Dec 18 15:16:13 1996 +0100
+++ b/src/HOLCF/domain/extender.ML	Wed Dec 18 15:19:42 1996 +0100
@@ -6,6 +6,7 @@
 theory extender for domain section
 *)
 
+
 structure Domain_Extender =
 struct
 

--- a/src/HOLCF/domain/interface.ML	Wed Dec 18 15:16:13 1996 +0100
+++ b/src/HOLCF/domain/interface.ML	Wed Dec 18 15:19:42 1996 +0100
@@ -6,6 +6,7 @@
 parser for domain section
 *)
 
+
 structure ThySynData: THY_SYN_DATA = (* overwrites old version of ThySynData !!!!!! *)
 
 struct

--- 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;

--- a/src/HOLCF/domain/syntax.ML	Wed Dec 18 15:16:13 1996 +0100
+++ b/src/HOLCF/domain/syntax.ML	Wed Dec 18 15:19:42 1996 +0100
@@ -6,6 +6,7 @@
 syntax generator for domain section
 *)
 
+
 structure Domain_Syntax = struct 
 
 local 

--- a/src/HOLCF/domain/theorems.ML	Wed Dec 18 15:16:13 1996 +0100
+++ b/src/HOLCF/domain/theorems.ML	Wed Dec 18 15:19:42 1996 +0100
@@ -6,6 +6,7 @@
 proof generator for domain section
 *)
 
+
 structure Domain_Theorems = struct
 
 local