diff options
Diffstat (limited to 'etc/isa/multiple')
| -rw-r--r-- | etc/isa/multiple/README | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/isa/multiple/README b/etc/isa/multiple/README index 1524efce..a50c063d 100644 --- a/etc/isa/multiple/README +++ b/etc/isa/multiple/README @@ -31,7 +31,7 @@ Borrowed from Thomas's lego tests: (v 1.2) 15) assert C EFFECTS A* B* C* D? [everything locked] 16) retract to middle of B EFFECTS A* B+ C D? BROKEN! Now retracts whole thing. -14) M-x proof-restart-script EFFECTS A B C D +14) M-x proof-shell-restart EFFECTS A B C D MORE TESTS NEEDED FOR ISABELLE: |