1 2 3 4 5 6 7 8 9 10
(* See Trac #289, http://proofgeneral.inf.ed.ac.uk/trac/ticket/289 *) theory EmptyCommands imports Main begin term x; term y; ; ; end