1
2 (* $Id$ *)
3
4 set ThyOutput.source;
4 use "../../antiquote_setup.ML";
5 use "../../antiquote_setup.ML";
6
5 use_thy "ZF_Specific";
7 use_thy "ZF_Specific";