diff options
| author | Hugo Herbelin | 2016-01-12 11:32:54 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2016-01-12 14:38:43 +0100 |
| commit | f5de32ad1600cd18a6f1f286729c979e868ad088 (patch) | |
| tree | 102a7d0f7f170e75657c3b9d3e31006bf12906a9 /doc/common/styles/html/coqremote/modules/node/node.css | |
| parent | 682ddc2d278b345c4c72da6c8a8d17cc82a076ec (diff) | |
Documenting options "Intuition Negation Unfolding", "Intuition Iff Unfolding".
Diffstat (limited to 'doc/common/styles/html/coqremote/modules/node/node.css')
0 files changed, 0 insertions, 0 deletions