corrected headers
authoroheimb
Thu Dec 19 17:02:27 1996 +0100 (1996-12-19)
changeset 24532d416226b27d
parent 2452 045d00d777fb
child 2454 92f43ed48935
corrected headers
src/HOLCF/Tr2.ML
src/HOLCF/domain/axioms.ML
src/HOLCF/domain/syntax.ML
     1.1 --- a/src/HOLCF/Tr2.ML	Thu Dec 19 17:01:47 1996 +0100
     1.2 +++ b/src/HOLCF/Tr2.ML	Thu Dec 19 17:02:27 1996 +0100
     1.3 @@ -3,7 +3,7 @@
     1.4      Author:     Franz Regensburger
     1.5      Copyright   1993 Technische Universitaet Muenchen
     1.6  
     1.7 -Lemmas for tr2.thy
     1.8 +Lemmas for Tr2.thy
     1.9  *)
    1.10  
    1.11  open Tr2;
     2.1 --- a/src/HOLCF/domain/axioms.ML	Thu Dec 19 17:01:47 1996 +0100
     2.2 +++ b/src/HOLCF/domain/axioms.ML	Thu Dec 19 17:02:27 1996 +0100
     2.3 @@ -1,14 +1,11 @@
     2.4 -(* axioms.ML
     2.5 -   Author : David von Oheimb
     2.6 -   Created: 31-May-95
     2.7 -   Updated: 12-Jun-95 axioms for discriminators, selectors and induction
     2.8 -   Updated: 19-Jun-95 axiom for bisimulation
     2.9 -   Updated: 28-Jul-95 gen_by-section
    2.10 -   Updated: 29-Aug-95 simultaneous domain equations
    2.11 -   Copyright 1995 TU Muenchen
    2.12 +(*  Title:      HOLCF/domain/axioms.ML
    2.13 +    ID:         $Id$
    2.14 +    Author : David von Oheimb
    2.15 +    Copyright 1995, 1996 TU Muenchen
    2.16 +
    2.17 +syntax generator for domain section
    2.18  *)
    2.19  
    2.20 -
    2.21  structure Domain_Axioms = struct
    2.22  
    2.23  local
     3.1 --- a/src/HOLCF/domain/syntax.ML	Thu Dec 19 17:01:47 1996 +0100
     3.2 +++ b/src/HOLCF/domain/syntax.ML	Thu Dec 19 17:02:27 1996 +0100
     3.3 @@ -1,4 +1,4 @@
     3.4 -(*  Title:      HOLCF/domain/syntaxd.ML
     3.5 +(*  Title:      HOLCF/domain/syntax.ML
     3.6      ID:         $Id$
     3.7      Author : David von Oheimb
     3.8      Copyright 1995, 1996 TU Muenchen
     3.9 @@ -6,7 +6,6 @@
    3.10  syntax generator for domain section
    3.11  *)
    3.12  
    3.13 -
    3.14  structure Domain_Syntax = struct 
    3.15  
    3.16  local