1 Thy_Output.source_default := true;
1 quick_and_dirty := true;
2 use "../../antiquote_setup.ML";
3
2
4 use_thy "ZF_Specific";
3 use_thy "ZF_Specific";