diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-01-23 14:40:57 +0100 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-01-23 14:40:57 +0100 |
| commit | c930010fc53531784485d5a190f9c0aeba1dfdbe (patch) | |
| tree | 49880105705eca2625594ec4eb65e27fca273e15 /stm/lemmas.ml | |
| parent | 09b5e429cd4f622003277c31391bafc20b389af5 (diff) | |
Typos, grammar, layout in CHANGES (continued).
Diffstat (limited to 'stm/lemmas.ml')
0 files changed, 0 insertions, 0 deletions