diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-01-19 16:56:11 +0100 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-01-20 15:21:27 +0100 |
| commit | 281e4cb8b04c7fd13ec6416e4dcd05ffa1f48761 (patch) | |
| tree | b4d9c0fecf99d985bdd51ca0aaf06df0752d7d86 /plugins/micromega/ZMicromega.v | |
| parent | 13ef3c9a4161db85f10c9c5305e44b8ca66f2eaf (diff) | |
Clarifying the documentation of tactics "cbv" and "lazy".
Following a discussion on coq-club on Jan 13, 2016.
Diffstat (limited to 'plugins/micromega/ZMicromega.v')
0 files changed, 0 insertions, 0 deletions