diff options
| author |  Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-03-04 10:59:35 +0100 |
|---|---|---|
| committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-03-04 10:59:35 +0100 |
| commit | 6131f89f6b91c45e641dd877df8719fa77987453 (patch) | |
| tree | 25d1189049e9f2d87cdba937db34b936d5450124 /theories | |
| parent | df9d3a36e71d6d224286811fdc529ad5a955deb7 (diff) | |
Fix typos.
Diffstat (limited to 'theories')
0 files changed, 0 insertions, 0 deletions