diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-11-13 14:46:33 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-11-13 15:37:16 -0500 |
| commit | b2a1a0c0360ae4cb35f0bcfb34bb86b4734c4800 (patch) | |
| tree | 1a1c419a4493b4e046f0fccc475ecaf008a5ede1 /_CoqProject | |
| parent | a26f3c7a9c8ad648a4706d1dae374f739f7c73c1 (diff) | |
Add some convenience notations in Z.Syntax.Equality
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions