# HG changeset patch
# User oheimb
# Date 850918782 -3600
# Node ID c2a9bf6c0948c187af28159743faffa6b3a4d72f
# Parent  51993fea433fd6844c24405433338dc3983f56d0
The previous log message was wrong. The correct one is:
generalized handling of type expressions, type variables and sorts

diff -r 51993fea433f -r c2a9bf6c0948 src/HOLCF/domain/extender.ML
--- 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
 
diff -r 51993fea433f -r c2a9bf6c0948 src/HOLCF/domain/interface.ML
--- 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
diff -r 51993fea433f -r c2a9bf6c0948 src/HOLCF/domain/library.ML
--- 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;
diff -r 51993fea433f -r c2a9bf6c0948 src/HOLCF/domain/syntax.ML
--- 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 
diff -r 51993fea433f -r c2a9bf6c0948 src/HOLCF/domain/theorems.ML
--- 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