(* Tobias reported 24.1.03.  Could not repeat prob *)
theory test = Main:

(*
defs
*)

end