diff options
| author |  jadep <jade.philipoom@gmail.com> | 2016-07-18 13:17:43 -0400 |
|---|---|---|
| committer | jadep <jade.philipoom@gmail.com> | 2016-07-18 13:17:43 -0400 |
| commit | 9c268bd4677af50677c2f9e9f57ae77cdb9454f9 (patch) | |
| tree | 680683a25f15bdd5286291bb8910b01b3b3f4e3e /_CoqProject | |
| parent | 0fd535b57b93bada6cc00c2e372f2f94d2768567 (diff) | |
changed base notation
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions