diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2016-09-21 14:53:26 +0200 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2016-09-21 14:53:26 +0200 |
commit | fa9d33eea03bb59d55ee4dccf4fecb8b1520e69d (patch) | |
tree | 81dae1f1a005058311f8460e24ea769dd69eede5 /src/versions/standard/Int63/Cyclic63_standard.v | |
parent | 7a17276943c42c7997389d4782e457f449bd102e (diff) | |
download | smtcoq-fa9d33eea03bb59d55ee4dccf4fecb8b1520e69d.tar.gz smtcoq-fa9d33eea03bb59d55ee4dccf4fecb8b1520e69d.zip |
Typo
Diffstat (limited to 'src/versions/standard/Int63/Cyclic63_standard.v')
0 files changed, 0 insertions, 0 deletions