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

(*
defs
*)

end
