diff options
| author | Pierre-Marie Pédrot | 2017-08-24 16:48:44 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-08-24 17:05:21 +0200 |
| commit | 3cb2f4901ea4d79ff20b45bc4d1968ada1695d3b (patch) | |
| tree | 019b482289496110cd1676dec2e44d1e39133023 /_CoqProject | |
| parent | 4c964aa3ecfbb2f6aa52274545c2e27d7d11e179 (diff) | |
Adding notation for the remaining reduction functions.
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions