author | haftmann |
Tue, 10 Jul 2007 17:30:50 +0200 | |
changeset 23709 | fd31da8f752a |
parent 18072 | 102d4ebae879 |
child 24106 | f2965bf954dc |
permissions | -rw-r--r-- |
9000 | 1 |
(* Title: HOLCF/ex/ROOT.ML |
244 | 2 |
ID: $Id$ |
3 |
||
9000 | 4 |
Misc HOLCF examples. |
244 | 5 |
*) |
6 |
||
2570 | 7 |
time_use_thy "Dnat"; |
8 |
time_use_thy "Stream"; |
|
9 |
time_use_thy "Dagstuhl"; |
|
10 |
time_use_thy "Focus_ex"; |
|
11 |
time_use_thy "Fix2"; |
|
1351 | 12 |
time_use_thy "Hoare"; |
13 |
time_use_thy "Loop"; |
|
16554 | 14 |
time_use_thy "Fixrec_ex"; |