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