(* $Id$ *) use "../../antiquote_setup.ML"; use_thy "intro"; use_thy "syntax"; use_thy "pure"; use_thy "Generic"; use_thy "Quick_Reference";