diff options
| author | Tanaka Akira | 2020-09-30 02:50:21 +0900 |
|---|---|---|
| committer | Tanaka Akira | 2020-09-30 02:50:21 +0900 |
| commit | a497cab1da80c148b4c3c815f003e980699dd6d0 (patch) | |
| tree | c3710f0f964bec7f70daecd996940dba2d36d5d4 /doc/plugin_tutorial/tuto0/src | |
| parent | 9995c44df32858624a84a5f87f14a4a24124f84e (diff) | |
Wf.v defines Fix_eq, not fix_eq.
A commit at 2003-03-13 changed the lemma name.
https://github.com/coq/coq/commit/cb1ae314411d78952062e5092804b85d981ad6e1
Diffstat (limited to 'doc/plugin_tutorial/tuto0/src')
0 files changed, 0 insertions, 0 deletions