diff options
| author | Rutger Broekhoff | 2024-06-27 02:13:26 +0200 |
|---|---|---|
| committer | Rutger Broekhoff | 2024-06-27 02:13:26 +0200 |
| commit | 5aef9a66966c8aa97041461d618b601e60e56c91 (patch) | |
| tree | e437f49b12ad069731d61f6b95227de60d9ff88d /_CoqProject | |
| parent | ba973b2fa09e0ff203eec9770908a88e0ccfde70 (diff) | |
| download | mininix-formalization-5aef9a66966c8aa97041461d618b601e60e56c91.tar.gz mininix-formalization-5aef9a66966c8aa97041461d618b601e60e56c91.zip | |
Be consistent in notation of simplify_eq/=
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions