(* See Trac #289, http://proofgeneral.inf.ed.ac.uk/trac/ticket/289 *)
theory EmptyCommands imports Main begin

term x;

term y;

; ;

end