From 3972a7eccf83aa609d2a222223c1a51ed3a0cd20 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Wed, 27 Oct 1999 15:20:49 +0000
Subject: test stray ML file;

---
 etc/isa/multiple/C.thy         | 5 ++++-
 etc/isa/multiple/foobar/foo.ML | 4 ++++
 2 files changed, 8 insertions(+), 1 deletion(-)
 create mode 100644 etc/isa/multiple/foobar/foo.ML

diff --git a/etc/isa/multiple/C.thy b/etc/isa/multiple/C.thy
index 57816cd3..3316eaee 100644
--- a/etc/isa/multiple/C.thy
+++ b/etc/isa/multiple/C.thy
@@ -4,4 +4,7 @@
     Logic Image: Pure
 *)
 
-C  =  A + B
+theory C  =  A + B
+files "foobar/foo.ML":
+
+end
diff --git a/etc/isa/multiple/foobar/foo.ML b/etc/isa/multiple/foobar/foo.ML
new file mode 100644
index 00000000..25084a22
--- /dev/null
+++ b/etc/isa/multiple/foobar/foo.ML
@@ -0,0 +1,4 @@
+
+val foo = "foo";
+
+val bar = 1;
-- 
cgit v1.2.3