diff options
| author |  Arnaud Spiwack <arnaud@spiwack.net> | 2015-11-06 09:26:50 +0100 |
|---|---|---|
| committer | Arnaud Spiwack <arnaud@spiwack.net> | 2015-11-11 22:14:06 +0100 |
| commit | 856e746e2a0adf959faee0907555af81be11d027 (patch) | |
| tree | 0bd851b9627e00322babe1c62fd9ffa25c98e1d8 /theories/Arith/Minus.v | |
| parent | bbfa17765599a04931efa68a5397f418e6ea5b39 (diff) | |
Prehistory of Coq: justification of the plain text.
Diffstat (limited to 'theories/Arith/Minus.v')
0 files changed, 0 insertions, 0 deletions