wenzelm@26840: (* $Id$ *)
wenzelm@26840: 
wenzelm@26840: theory HOL_Specific
wenzelm@26840: imports HOL
wenzelm@26840: begin
wenzelm@26840: 
wenzelm@26840: end