diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-02-13 14:39:13 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-02-13 14:39:13 -0500 |
| commit | d38d1a272999cf2a4da03d633e319d5d5a4a2779 (patch) | |
| tree | bb1a5061dbf89857e31ff26239609f23262b68a8 /_CoqProject | |
| parent | 093834a3e35d86ce768102d1c5e894565a36fd74 (diff) | |
Add SmartCast{Interp,Wf}
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index 22c865b12..29a2eb98d 100644 --- a/_CoqProject +++ b/_CoqProject @@ -127,6 +127,8 @@ src/Reflection/Reify.v src/Reflection/Relations.v src/Reflection/SmartBound.v src/Reflection/SmartCast.v +src/Reflection/SmartCastInterp.v +src/Reflection/SmartCastWf.v src/Reflection/SmartMap.v src/Reflection/Syntax.v src/Reflection/TestCase.v |