-
Robbert Krebbers authored
We used => before, which is strange, because it has another meaning in ssreflect.
695c9baa
Name |
Last commit
|
Last update |
---|---|---|
.. | ||
coq_tactics.v | ||
environments.v | ||
ghost_ownership.v | ||
intro_patterns.v | ||
invariants.v | ||
notation.v | ||
pviewshifts.v | ||
spec_patterns.v | ||
sts.v | ||
tactics.v | ||
weakestpre.v |