path: root/etc/isar/CommentParsingBug2.thy

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

(*
defs
*)

end