1 files changed, 3 insertions, 0 deletions
diff --git a/etc/isa/multiple/D.ML b/etc/isa/multiple/D.ML
new file mode 100644
index 00000000..76dd89c1
--- /dev/null
+++ b/etc/isa/multiple/D.ML
@@ -0,0 +1,3 @@
+(* Scripting buffer for theory D *)
+
+val it = ();