diff options
| author | Jason Gross | 2016-12-04 14:03:52 -0500 |
|---|---|---|
| committer | Jason Gross | 2017-05-28 09:38:36 -0400 |
| commit | 7cecf9a675145a4171bf8c8b6bb153caee93d503 (patch) | |
| tree | 996b4fd0790f8712cd62d2076e2813c474d5d0cd /doc/common/styles/html/coqremote/modules/node/node.css | |
| parent | 1ec29dbccc9b2f9cbedf36d032fea1da147231d5 (diff) | |
Add an [inversion_sigma] tactic
This tactic does better than [inversion] at sigma types.
Diffstat (limited to 'doc/common/styles/html/coqremote/modules/node/node.css')
0 files changed, 0 insertions, 0 deletions