diff options
| author | Pierre-Marie Pédrot | 2017-10-25 12:13:27 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-10-27 11:48:40 +0200 |
| commit | d4172d2c7a48d932b42248fe57c6c2a87ac57e30 (patch) | |
| tree | 48f49fa0490659f3f505f26ef6fb86d6ae0eae64 /_CoqProject | |
| parent | 0b26bfc8e068e1e95eeea9db0c3bda7436ac8338 (diff) | |
Stubs for goal matching: quotation and matching function.
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index 43e9b76991..df8cb00b76 100644 --- a/_CoqProject +++ b/_CoqProject @@ -21,6 +21,8 @@ src/tac2ffi.mli src/tac2qexpr.mli src/tac2quote.ml src/tac2quote.mli +src/tac2match.ml +src/tac2match.mli src/tac2core.ml src/tac2core.mli src/tac2tactics.ml |