Commit 1c814611 authored by Robbert Krebbers's avatar Robbert Krebbers

Fix some spaces/tabs/0 width spaces in the proof mode docs.

parent 41ad05c6
Pipeline #1994 passed with stage
......@@ -137,13 +137,13 @@ You can write
which results in:
x : nat
H : x = 0
______________________________________(1/1)
​​"HQ" : Q
"HR" : R
--------------------------------------□
R ★ Q ∧ x = 1
x : nat
H : x = 0
______________________________________(1/1)
"HQ" : Q
"HR" : R
--------------------------------------□
R ★ Q ∧ x = 1
Specialization patterns
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment