From 2d36a06815bcb1868805cf7f03d2573e5ab406ab Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Sat, 19 Jul 2008 16:09:36 +0000
Subject: New files.

---
 etc/isar/multiple/E.thy | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 etc/isar/multiple/E.thy

(limited to 'etc/isar')

diff --git a/etc/isar/multiple/E.thy b/etc/isar/multiple/E.thy
new file mode 100644
index 00000000..02d62020
--- /dev/null
+++ b/etc/isar/multiple/E.thy
@@ -0,0 +1,4 @@
+theory E imports C D
+begin
+
+end
-- 
cgit v1.2.3