diff -r 045d00d777fb -r 2d416226b27d src/HOLCF/domain/syntax.ML
--- a/src/HOLCF/domain/syntax.ML	Thu Dec 19 17:01:47 1996 +0100
+++ b/src/HOLCF/domain/syntax.ML	Thu Dec 19 17:02:27 1996 +0100
@@ -1,4 +1,4 @@
-(*  Title:      HOLCF/domain/syntaxd.ML
+(*  Title:      HOLCF/domain/syntax.ML
     ID:         $Id$
     Author : David von Oheimb
     Copyright 1995, 1996 TU Muenchen
@@ -6,7 +6,6 @@
 syntax generator for domain section
 *)
 
-
 structure Domain_Syntax = struct 
 
 local