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: f361ecca658ea546ba1a57f5f41c2542e6ca76cc (plain)

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

term x;

term y;

; ;

end