| author | haftmann |
| Fri, 24 Sep 2010 14:03:44 +0200 | |
| changeset 39678 | d9fb92a8c80a |
| parent 37000 | 41a22e7c1145 |
| 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"]; |