1 set ThyOutput.source;
1 Unsynchronized.set ThyOutput.source;
2 use "../../antiquote_setup.ML";
3
4 use_thy "HOLCF_Specific";