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 /kernel/esubst.ml | |
parent | d9ac4c22a3a6543959d413120304e356d625c0f9 (diff) |
Share prop/set values in sorts.ml.
Diffstat (limited to 'kernel/esubst.ml')
0 files changed, 0 insertions, 0 deletions