(* Tobias reported 24.1.03.  Could not repeat prob *)
theory test imports Main begin

(*
defs
*)

end
