diff options
| author | David Aspinall | 1998-11-25 12:55:56 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-25 12:55:56 +0000 |
| commit | 9fb5af2617043f4e9e8439a029bb9e2677adff29 (patch) | |
| tree | d2d6c234638317a9c8c45717ee8a706a26475743 /isa/example.ML | |
| parent | 4373a4dd052cdaf25056001ccbb7e3c29fc574a4 (diff) | |
Fixes to debug long standing not-showing-first-goal problem.
Diffstat (limited to 'isa/example.ML')
| -rw-r--r-- | isa/example.ML | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/isa/example.ML b/isa/example.ML index a8922e87..11b807f4 100644 --- a/isa/example.ML +++ b/isa/example.ML @@ -14,6 +14,7 @@ br conjI 1; be conjE 1; ba 1; be conjE 1; +ba 45; ba 1; qed "and_comms"; |