diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-01-12 11:32:54 +0100 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-01-12 14:38:43 +0100 |
| commit | f5de32ad1600cd18a6f1f286729c979e868ad088 (patch) | |
| tree | 102a7d0f7f170e75657c3b9d3e31006bf12906a9 /tools/coqdep.ml | |
| parent | 682ddc2d278b345c4c72da6c8a8d17cc82a076ec (diff) | |
Documenting options "Intuition Negation Unfolding", "Intuition Iff Unfolding".
Diffstat (limited to 'tools/coqdep.ml')
0 files changed, 0 insertions, 0 deletions