author | nipkow |
Mon, 12 Sep 2011 07:55:43 +0200 | |
changeset 44890 | 22f665a2e91c |
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"]; |