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