diff options
| author | Hugo Herbelin | 2018-09-10 20:08:07 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2018-09-10 20:08:07 +0200 |
| commit | dc8f73016a6306f2da8859340e07b83aca1012d4 (patch) | |
| tree | 66c5e740d2aa6afe5ef647675696ebf8348bd822 /interp/notation.ml | |
| parent | 087588553d31752fadbb65ade9d377176412f316 (diff) | |
| parent | 8be0a95911d2d042e5aff31373b9812cc299db87 (diff) | |
Merge PR #8230: fix formulation of the Euclid Theorem in comment
Diffstat (limited to 'interp/notation.ml')
0 files changed, 0 insertions, 0 deletions