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