-
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 |