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