diff options
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index 48f29bdab..926df76fa 100644 --- a/_CoqProject +++ b/_CoqProject @@ -5829,6 +5829,7 @@ src/Util/FixCoqMistakes.v src/Util/FixedWordSizes.v src/Util/FixedWordSizesEquality.v src/Util/ForLoop.v +src/Util/FsatzAutoLemmas.v src/Util/GlobalSettings.v src/Util/HList.v src/Util/HProp.v |