author | haftmann |
Fri, 05 Aug 2011 22:58:17 +0200 | |
changeset 44040 | 32881ab55eac |
parent 40774 | 0437dbc127b3 |
permissions | -rw-r--r-- |
37000
41a22e7c1145
move some example files into new HOLCF/Tutorial directory
huffman
parents:
diff
changeset
|
1 |
use_thys ["Domain_ex", "Fixrec_ex", "New_Domain"]; |