src/HOLCF/ROOT.ML
changeset 12036 49f6c49454c2
parent 6349 f7750d816c21
child 14535 7cb26928e70d
     1.1 --- a/src/HOLCF/ROOT.ML	Sat Nov 03 18:41:13 2001 +0100
     1.2 +++ b/src/HOLCF/ROOT.ML	Sat Nov 03 18:41:28 2001 +0100
     1.3 @@ -1,10 +1,9 @@
     1.4  (*  Title:      HOLCF/ROOT.ML
     1.5      ID:         $Id$
     1.6      Author:     Franz Regensburger
     1.7 -    Copyright   1993 Technische Universitaet Muenchen
     1.8 +    License:    GPL (GNU GENERAL PUBLIC LICENSE)
     1.9  
    1.10 -ROOT file for the conservative extension of HOL by the LCF logic.
    1.11 -Should be executed in subdirectory HOLCF.
    1.12 +Conservative (semantic) extension of HOL by the LCF logic.
    1.13  *)
    1.14  
    1.15  val banner = "HOLCF";