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/A.thy  | 7 +++++++
 etc/isar/multiple/B.thy  | 4 ++++
 etc/isar/multiple/C.thy  | 4 ++++
 etc/isar/multiple/D.thy  | 4 ++++
 etc/isar/multiple/README | 3 +++
 5 files changed, 22 insertions(+)
 create mode 100644 etc/isar/multiple/A.thy
 create mode 100644 etc/isar/multiple/B.thy
 create mode 100644 etc/isar/multiple/C.thy
 create mode 100644 etc/isar/multiple/D.thy
 create mode 100644 etc/isar/multiple/README

diff --git a/etc/isar/multiple/A.thy b/etc/isar/multiple/A.thy
new file mode 100644
index 00000000..7ad1ddf6
--- /dev/null
+++ b/etc/isar/multiple/A.thy
@@ -0,0 +1,7 @@
+
+theory A = Pure:;
+
+consts foo :: 'a;
+consts bar :: 'a;
+
+end;
diff --git a/etc/isar/multiple/B.thy b/etc/isar/multiple/B.thy
new file mode 100644
index 00000000..2828c655
--- /dev/null
+++ b/etc/isar/multiple/B.thy
@@ -0,0 +1,4 @@
+
+theory B = Pure:;
+
+end;
diff --git a/etc/isar/multiple/C.thy b/etc/isar/multiple/C.thy
new file mode 100644
index 00000000..498e138f
--- /dev/null
+++ b/etc/isar/multiple/C.thy
@@ -0,0 +1,4 @@
+
+theory C = A + B:;
+
+end;
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;
diff --git a/etc/isar/multiple/README b/etc/isar/multiple/README
new file mode 100644
index 00000000..ad57b449
--- /dev/null
+++ b/etc/isar/multiple/README
@@ -0,0 +1,3 @@
+
+Test files for multiple file handling with Isabelle/Isar
+(see also isa/multiple/README).
-- 
cgit v1.2.3