diff options
Diffstat (limited to 'isa/example.ML')
| -rw-r--r-- | isa/example.ML | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/isa/example.ML b/isa/example.ML index 11b807f4..a8922e87 100644 --- a/isa/example.ML +++ b/isa/example.ML @@ -14,7 +14,6 @@ br conjI 1; be conjE 1; ba 1; be conjE 1; -ba 45; ba 1; qed "and_comms"; |