path: root/etc/isar/CommentParsingBug2.thy

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

(*
defs
*)

end