diff options
| author |  Jason Gross <jgross@mit.edu> | 2018-02-14 14:46:12 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2018-02-14 14:46:12 -0500 |
| commit | 1e6400bd90760d34cc3a28d7c7c32be31b75babf (patch) | |
| tree | e3078614a392853176e39b1b49c329d0303da61c /_CoqProject | |
| parent | 54a88659aedb098014cfc03ba3ca627647dfc665 (diff) | |
Add a file to parse taps with Coq notations
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index ed4cabd28..9e0dc9859 100644 --- a/_CoqProject +++ b/_CoqProject @@ -6464,6 +6464,7 @@ src/Util/NatUtil.v src/Util/Notations.v src/Util/NumTheoryUtil.v src/Util/Option.v +src/Util/ParseTaps.v src/Util/PartiallyReifiedProp.v src/Util/PointedProp.v src/Util/Pos.v |