| author | wenzelm |
| Fri, 20 Aug 2010 22:32:15 +0200 | |
| changeset 38570 | 3fa11fb01f86 |
| parent 38137 | 6fda94059baa |
| permissions | -rw-r--r-- |
|
37110
7ffdbc24b27f
move Strict_Fun and Stream theories to new HOLCF/Library directory; add HOLCF/Library to search path
huffman
parents:
diff
changeset
|
1 |
use_thys ["HOLCF_Library"]; |