src/HOLCF/ex/ROOT.ML
author wenzelm
Sat Nov 03 18:41:28 2001 +0100 (2001-11-03)
changeset 12036 49f6c49454c2
parent 9000 c20d58286a51
child 16554 5841e7f9eef5
permissions -rw-r--r--
GPLed;
wenzelm@9000
     1
(*  Title:      HOLCF/ex/ROOT.ML
nipkow@244
     2
    ID:         $Id$
nipkow@244
     3
wenzelm@9000
     4
Misc HOLCF examples.
nipkow@244
     5
*)
nipkow@244
     6
oheimb@2570
     7
time_use_thy "Dnat";
oheimb@2570
     8
time_use_thy "Stream";
oheimb@2570
     9
time_use_thy "Dagstuhl";
oheimb@2570
    10
time_use_thy "Focus_ex";
oheimb@2570
    11
time_use_thy "Fix2";
clasohm@1351
    12
time_use_thy "Hoare";
clasohm@1351
    13
time_use_thy "Loop";
clasohm@1351
    14
time_use "loeckx.ML";