diff options
| author | David Aspinall | 1998-12-10 10:56:18 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-12-10 10:56:18 +0000 |
| commit | 803329b20efc58bc17bde2c65c95ad0279a6da22 (patch) | |
| tree | 8daa5e5d53c3b41d9c7d98ed1c7520cb9fecad4f /isa/example.ML | |
| parent | 2b7e9b50aaabaafab78035e3a5ec05413d96b913 (diff) | |
Fix for splash hack for theory files when proo-splash-inhibit=t.
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"; |