src/HOLCF/ROOT.ML
author nipkow
Sun Feb 15 11:34:46 2009 +0100 (2009-02-15)
changeset 29921 3d50e96bcd6b
parent 22707 c1d3e82fc395
child 33615 261abc2e3155
permissions -rw-r--r--
fixed document
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
nipkow@29921
     8
no_document use_thy "Nat_Int_Bij";
nipkow@29921
     9
regensbu@1274
    10
use_thy "HOLCF";