From 21270199c9137cc836247d6d219e9ef84e4e14cd Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Thu, 29 Jul 1999 20:20:26 +0000
Subject: Test files for multiple file handling with Isabelle/Isar;

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

(limited to 'etc/isar/multiple/D.thy')

diff --git a/etc/isar/multiple/D.thy b/etc/isar/multiple/D.thy
new file mode 100644
index 00000000..ed405e30
--- /dev/null
+++ b/etc/isar/multiple/D.thy
@@ -0,0 +1,4 @@
+
+theory D = Pure:;
+
+end;
-- 
cgit v1.2.3