(* *)+− +− open_file_prelude +− "Parsing_Code.thy"+− (cat_lines ["theory Parsing", +− "imports Base \"Package/Simple_Inductive_Package\"", +− "begin"])+−