diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2016-10-03 11:12:20 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2016-10-03 11:13:40 +0200 |
| commit | 4a2e0798cf24c9edf4e96bd6ad62bdbde7a7cdf7 (patch) | |
| tree | a90cfc2d2c956060c7c7dea0f914edc66fc10dba /kernel/nativecode.ml | |
| parent | a35a3fd5cf59e262e814afd530ffdc35f085c01d (diff) | |
Document change related to Keep Proof Equalities in CHANGES.
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions