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