From e0acd6dc645a7062a0fece9642c1c037e5c04145 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 20 Sep 2009 20:30:05 +0000
Subject: *** empty log message ***

---
 etc/isar/EmptyCommands.thy | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/etc/isar/EmptyCommands.thy b/etc/isar/EmptyCommands.thy
index 18b28ea9..f361ecca 100644
--- a/etc/isar/EmptyCommands.thy
+++ b/etc/isar/EmptyCommands.thy
@@ -5,4 +5,6 @@ term x;
 
 term y;
 
+; ;
+
 end
-- 
cgit v1.2.3