From 98866948a927e79fd8599bedecf515d317afb393 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 20 Sep 2009 20:25:38 +0000
Subject: *** empty log message ***

---
 etc/isar/EmptyCommands.thy | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 etc/isar/EmptyCommands.thy

diff --git a/etc/isar/EmptyCommands.thy b/etc/isar/EmptyCommands.thy
new file mode 100644
index 00000000..18b28ea9
--- /dev/null
+++ b/etc/isar/EmptyCommands.thy
@@ -0,0 +1,8 @@
+(* See Trac #289, http://proofgeneral.inf.ed.ac.uk/trac/ticket/289 *)
+theory EmptyCommands imports Main begin
+
+term x;
+
+term y;
+
+end
-- 
cgit v1.2.3