theory Text
imports Main
begin

(* Top-level Isar comment. *)

end