diff options
| author | Hugo Herbelin | 2015-07-28 10:18:08 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2015-07-29 01:36:42 +0200 |
| commit | 0dac9618c695a345f82ee302b205217fff29be29 (patch) | |
| tree | 6ce11d67daedf8ffe391df3e9ca9c3a7e899215f /interp/implicit_quantifiers.ml | |
| parent | 0bc09220172b02c83eeba15350c26bd64cf0aa46 (diff) | |
Fixing some English misspelling.
Diffstat (limited to 'interp/implicit_quantifiers.ml')
0 files changed, 0 insertions, 0 deletions