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