-
Robbert Krebbers authored
This avoids recompilation of coq_tactics each time an instance is added.
e632e566
| Name |
Last commit
|
Last update |
|---|---|---|
| .. | ||
| class_instances.v | ||
| classes.v | ||
| 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 |