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