1 (* *)

     2 

     3 open_file_prelude 

     4 "Tactical_Code.thy"

     5 (cat_lines ["theory Tactical", 

     6             "imports Base FirstSteps", 

     7             "begin"])