author | huffman |
Sat, 27 Nov 2010 16:08:10 -0800 | |
changeset 40774 | 0437dbc127b3 |
parent 37000 | src/HOLCF/Tutorial/ROOT.ML@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"]; |