7 lines
67 B
Text
7 lines
67 B
Text
theory Text
|
|
imports Main
|
|
begin
|
|
|
|
(* Top-level Isar comment. *)
|
|
|
|
end
|