diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2016-04-22 15:27:42 -0400 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2016-04-22 15:27:42 -0400 |
| commit | 2b43845eabdb5522162d52a86ecf6dfaf6dbc847 (patch) | |
| tree | 00c193d89adbd22bac516072164b76f363241d9e /to_gallina.md | |
| parent | 30ef733d1a5820456d5e5aac774270b51a9c9dde (diff) | |
point_eq_dec
Diffstat (limited to 'to_gallina.md')
0 files changed, 0 insertions, 0 deletions