src/HOLCF/domain/syntax.ML
changeset 2453 2d416226b27d
parent 2446 c2a9bf6c0948
child 3534 c245c88194ff
     1.1 --- a/src/HOLCF/domain/syntax.ML	Thu Dec 19 17:01:47 1996 +0100
     1.2 +++ b/src/HOLCF/domain/syntax.ML	Thu Dec 19 17:02:27 1996 +0100
     1.3 @@ -1,4 +1,4 @@
     1.4 -(*  Title:      HOLCF/domain/syntaxd.ML
     1.5 +(*  Title:      HOLCF/domain/syntax.ML
     1.6      ID:         $Id$
     1.7      Author : David von Oheimb
     1.8      Copyright 1995, 1996 TU Muenchen
     1.9 @@ -6,7 +6,6 @@
    1.10  syntax generator for domain section
    1.11  *)
    1.12  
    1.13 -
    1.14  structure Domain_Syntax = struct 
    1.15  
    1.16  local