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