diff options
| author |  Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2015-06-23 17:08:38 +0200 |
|---|---|---|
| committer | Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2015-06-26 16:26:59 +0200 |
| commit | a0b48c4d55cd18655d8e79e6d66b0a0a0651fe3d (patch) | |
| tree | caed8f3c87d0aaab1ece708ef452094ae0353ce7 /coq-win32.itarget | |
| parent | d9ac4c22a3a6543959d413120304e356d625c0f9 (diff) | |
Share prop/set values in sorts.ml.
Diffstat (limited to 'coq-win32.itarget')
0 files changed, 0 insertions, 0 deletions