diff options
| author | Chantal Keller <Chantal.Keller@inria.fr> | 2020-05-15 17:23:46 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@inria.fr> | 2020-05-15 17:23:46 +0200 |
| commit | 3cb105fdfeb68f5868f4eff58c5f320bf2cdce59 (patch) | |
| tree | e34a41598f1f644f747680c8b8cf1fd89b85fbed /src/cnf | |
| parent | 9a7c314bea5ba24577e983a9f87feaf5b380bc0f (diff) | |
| download | smtcoq-3cb105fdfeb68f5868f4eff58c5f320bf2cdce59.tar.gz smtcoq-3cb105fdfeb68f5868f4eff58c5f320bf2cdce59.zip | |
Typo
Diffstat (limited to 'src/cnf')
0 files changed, 0 insertions, 0 deletions