diff options
| author | Hugo Herbelin | 2018-06-03 19:39:25 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2018-06-03 20:25:02 +0200 |
| commit | c2e495922a4c437eb5b486a20eb2040bbf313bf5 (patch) | |
| tree | 1a4784ea4eb8b70e23876787649b53055b397acf /kernel | |
| parent | c2279eea0b8666282e640637a74947ba554627d6 (diff) | |
Fixing typos in file Berardi.v
Note that one of them is in the name of the main theorem, so we use a
compatibility notation.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions