EmptyCommands.thy « isar « etc - proof-general - Emacs interface for proof assistants

about summary refs log tree commit diff homepage

path: root/etc/isar/EmptyCommands.thy

blob: 18b28ea90d62e7e10610593d8fe1ac8dea5ffe4f (plain)

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

term x;

term y;

end