diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-06-01 13:47:22 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-06-01 13:47:22 +0000 |
| commit | 1f43f8475b95594194bdec940da15206375a0167 (patch) | |
| tree | 646fce812645c92bc3f6428293bb95e3e07b16df /isa | |
| parent | bfd4724e70dd6e03fe8f391b7736ce67b15b3616 (diff) | |
Remove spurious spaces
Diffstat (limited to 'isa')
| -rw-r--r-- | isa/Example-Xsym.ML | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isa/Example-Xsym.ML b/isa/Example-Xsym.ML index 46f93938..d566a850 100644 --- a/isa/Example-Xsym.ML +++ b/isa/Example-Xsym.ML @@ -6,7 +6,7 @@ Just a version of Example.ML using XSymbol *) -Goal "A \\<and> B \\<longrightarrow> B \\<and> A"; +Goal "A \\<and> B \\<longrightarrow> B \\<and> A"; by (rtac impI 1); by (etac conjE 1); by (rtac conjI 1); |