diff options
| author | Guillaume Melquiond | 2014-03-10 16:39:53 +0100 |
|---|---|---|
| committer | Guillaume Melquiond | 2014-03-10 16:39:53 +0100 |
| commit | 6a59faaddbefc0326a3071d81942ae4cc0dd0300 (patch) | |
| tree | d39f7fab19d64cc81e3d835c7bf21e6c1cdc031b /plugins/xml/doubleTypeInference.ml | |
| parent | 643e624909ecec7ba43326ff962b13c184991125 (diff) | |
Add missing lemmas: Rplus_eq_compat_r and Rplus_eq_reg_r.
Diffstat (limited to 'plugins/xml/doubleTypeInference.ml')
0 files changed, 0 insertions, 0 deletions