Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Tej Chajed
iris
Commits
7fc1124c
Commit
7fc1124c
authored
Apr 15, 2016
by
Ralf Jung
Browse files
shuffle 0-width spaces around so they are distributed more evenly
parent
b36e009e
Changes
1
Hide whitespace changes
Inline
Side-by-side
proofmode/notation.v
View file @
7fc1124c
...
...
@@ -7,9 +7,9 @@ Arguments Enil {_}.
Arguments
Esnoc
{
_
}
_
%
proof_scope
_
%
string
_
%
uPred_scope
.
Notation
""
:
=
Enil
(
format
""
)
:
proof_scope
.
Notation
"
Γ
H : P"
:
=
(
Esnoc
Γ
H
P
)
Notation
"
Γ
H : P"
:
=
(
Esnoc
Γ
H
P
)
(
at
level
1
,
P
at
level
200
,
left
associativity
,
format
"
Γ
H : P '//'"
)
:
proof_scope
.
left
associativity
,
format
"
Γ
H : P '//'"
)
:
proof_scope
.
Notation
"Γ '--------------------------------------' □ Δ '--------------------------------------' ★ Q"
:
=
(
of_envs
(
Envs
Γ
Δ
)
⊢
Q
%
I
)
(
at
level
1
,
Q
at
level
200
,
left
associativity
,
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment