src/HOLCF/ROOT.ML
author wenzelm
Thu Jul 14 19:28:23 2005 +0200 (2005-07-14)
changeset 16841 228d663cc9b3
parent 16483 ace3c2b95353
child 22707 c1d3e82fc395
permissions -rw-r--r--
use all files in HOLCF.thy;
wenzelm@3623
     1
(*  Title:      HOLCF/ROOT.ML
nipkow@243
     2
    ID:         $Id$
clasohm@1461
     3
    Author:     Franz Regensburger
nipkow@243
     4
wenzelm@16841
     5
HOLCF -- a semantic extension of HOL by the LCF logic.
nipkow@243
     6
*)
nipkow@243
     7
wenzelm@3623
     8
val banner = "HOLCF";
oheimb@2394
     9
writeln banner;
regensbu@1274
    10
regensbu@1274
    11
use_thy "HOLCF";