| author | Cezary Kaliszyk <cezarykaliszyk@gmail.com> |
| Thu, 09 Feb 2012 09:36:30 +0100 | |
| changeset 46441 | 992a1688303f |
| parent 40774 | 0437dbc127b3 |
| 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"]; |