diff options
| author | David Aspinall | 1998-12-11 15:14:51 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-12-11 15:14:51 +0000 |
| commit | a97b99796c5070e5fabfa4189d40c4a4bc61ce06 (patch) | |
| tree | ba18176dbb7ce7594d424665e9598de8d9551533 /etc | |
| parent | 5ada8675071a0b4eaa3756685d279ba451811536 (diff) | |
Added more commands for testing
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/isa/multiple/A.ML | 9 |
1 files changed, 9 insertions, 0 deletions
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; + + |