wenzelm@37216: Unsynchronized.set Thy_Output.source;
wenzelm@26840: use "../../antiquote_setup.ML";
wenzelm@26844: 
wenzelm@26840: use_thy "HOLCF_Specific";