(* $Id$ *) set ThyOutput.source; use "../../antiquote_setup.ML"; use_thy "intro"; use_thy "syntax"; use_thy "Spec"; use_thy "Proof"; use_thy "pure"; use_thy "Generic"; use_thy "HOL_Specific"; use_thy "Quick_Reference"; use_thy "ML_Tactic";