diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-05-12 23:41:12 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-05-12 23:41:12 -0400 |
| commit | e86587b3f0590e3cc4aa005bf4577a9f84cc1056 (patch) | |
| tree | 91a9e28e64f1227f9093e075b374af6aa81825d1 /_CoqProject | |
| parent | c78dc3e16d9e41b7dba5d55ca019f03f697b31e5 (diff) | |
Split off Proper ZUtil lemmas
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index 81ac314e9..e5f9b7cf8 100644 --- a/_CoqProject +++ b/_CoqProject @@ -294,5 +294,6 @@ src/Util/Tactics/UnifyAbstractReflexivity.v src/Util/Tactics/UniquePose.v src/Util/Tactics/VM.v src/Util/ZUtil/Definitions.v +src/Util/ZUtil/Morphisms.v src/Util/ZUtil/Notations.v src/Util/ZUtil/Stabilization.v |