1 files changed, 7 insertions, 0 deletions
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;