# HG changeset patch
# User oheimb
# Date 851011347 -3600
# Node ID 2d416226b27d056fda2b4be648e46c8e9f783ff8
# Parent  045d00d777fbc896da5aadf7f9c2ce8e24b85751
corrected headers

diff -r 045d00d777fb -r 2d416226b27d src/HOLCF/Tr2.ML
--- a/src/HOLCF/Tr2.ML	Thu Dec 19 17:01:47 1996 +0100
+++ b/src/HOLCF/Tr2.ML	Thu Dec 19 17:02:27 1996 +0100
@@ -3,7 +3,7 @@
     Author:     Franz Regensburger
     Copyright   1993 Technische Universitaet Muenchen
 
-Lemmas for tr2.thy
+Lemmas for Tr2.thy
 *)
 
 open Tr2;
diff -r 045d00d777fb -r 2d416226b27d src/HOLCF/domain/axioms.ML
--- a/src/HOLCF/domain/axioms.ML	Thu Dec 19 17:01:47 1996 +0100
+++ b/src/HOLCF/domain/axioms.ML	Thu Dec 19 17:02:27 1996 +0100
@@ -1,14 +1,11 @@
-(* axioms.ML
-   Author : David von Oheimb
-   Created: 31-May-95
-   Updated: 12-Jun-95 axioms for discriminators, selectors and induction
-   Updated: 19-Jun-95 axiom for bisimulation
-   Updated: 28-Jul-95 gen_by-section
-   Updated: 29-Aug-95 simultaneous domain equations
-   Copyright 1995 TU Muenchen
+(*  Title:      HOLCF/domain/axioms.ML
+    ID:         $Id$
+    Author : David von Oheimb
+    Copyright 1995, 1996 TU Muenchen
+
+syntax generator for domain section
 *)
 
-
 structure Domain_Axioms = struct
 
 local
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