diff options
| author | Hugo Herbelin | 2014-07-17 15:08:13 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2014-07-17 15:15:23 +0200 |
| commit | 39e8010bf51b687f11d04c6a44cb959e85e86f7b (patch) | |
| tree | cc261c514591b9414d72006e33fcb7e6a884dfbf /kernel/reduction.mli | |
| parent | 293a84d36f7f2610efa4451d965684708cc6b8f3 (diff) | |
Completing c236b51348d2 by fixing EqdepFactsv actually committing the
new files (WeakFan.v and WKL.v).
Diffstat (limited to 'kernel/reduction.mli')
0 files changed, 0 insertions, 0 deletions