1 (* *)

     2 

     3 open_file_prelude 

     4 "Parsing_Code.thy"

     5 (cat_lines ["theory Parsing", 

     6             "imports Base \"Package/Simple_Inductive_Package\"", 

     7             "begin"])