From a97b99796c5070e5fabfa4189d40c4a4bc61ce06 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 11 Dec 1998 15:14:51 +0000
Subject: Added more commands for testing

---
 etc/isa/multiple/A.ML | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/etc/isa/multiple/A.ML b/etc/isa/multiple/A.ML
index 4254834b..771a5f1a 100644
--- a/etc/isa/multiple/A.ML
+++ b/etc/isa/multiple/A.ML
@@ -1,2 +1,11 @@
 (* Scripting buffer for theory A *)
 
+1;
+
+(* A few commands so that we can test partial-retraction. *)
+
+2;
+
+3;
+
+
-- 
cgit v1.2.3