commit
b0cad64b2e
1 changed files with 0 additions and 7 deletions
|
@ -614,13 +614,6 @@ displaying the text
|
||||||
|
|
||||||
?0 : ((m + n) + p) ≡ (m + (n + p))
|
?0 : ((m + n) + p) ≡ (m + (n + p))
|
||||||
|
|
||||||
This indicates that hole 0 is to be filled in with a proof of
|
|
||||||
the stated judgement.
|
|
||||||
Emacs will also create a new window at the bottom of the screen
|
|
||||||
displaying the text
|
|
||||||
|
|
||||||
?0 : ((m + n) + p) ≡ (m + (n + p))
|
|
||||||
|
|
||||||
This indicates that hole 0 is to be filled in with a proof of
|
This indicates that hole 0 is to be filled in with a proof of
|
||||||
the stated judgement.
|
the stated judgement.
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue