diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-03-24 09:03:46 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-03-24 09:03:46 +0100 |
| commit | 2189505b6e50c9a9aa8e9d520c05461e59f18d04 (patch) | |
| tree | 0aa4f9795081d0c8199f3350a6a2dafc5ce2fd05 /kernel/typeops.mli | |
| parent | 66ad590733b3a4dafe3c55a0b59d4f13f6c4b7bc (diff) | |
| parent | d7abadbef61ab0d45ffc5a5a45ff31bd39103446 (diff) | |
Merge PR#392: strengthened the statement of JMeq_eq_dep
Diffstat (limited to 'kernel/typeops.mli')
0 files changed, 0 insertions, 0 deletions