diff options
Diffstat (limited to 'etc/isa/multiple/A.ML')
-rw-r--r-- | etc/isa/multiple/A.ML | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/etc/isa/multiple/A.ML b/etc/isa/multiple/A.ML deleted file mode 100644 index 771a5f1a..00000000 --- a/etc/isa/multiple/A.ML +++ /dev/null @@ -1,11 +0,0 @@ -(* Scripting buffer for theory A *) - -1; - -(* A few commands so that we can test partial-retraction. *) - -2; - -3; - - |