diff options
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"; |