diff options
| author | Valentin Blot <24938579+vblot@users.noreply.github.com> | 2018-10-25 16:58:29 +0200 |
|---|---|---|
| committer | Valentin Blot <24938579+vblot@users.noreply.github.com> | 2018-10-25 16:58:29 +0200 |
| commit | db9bb4f7ba88c938e882f9a30c6456d73b793491 (patch) | |
| tree | d69cab63aef51a9de580be6b4d26711c8ee444b7 /src/trace/coqTerms.ml | |
| parent | 9c2efdde9c4b68e5314c4fb1c0dedcea0d138bb5 (diff) | |
| download | smtcoq-db9bb4f7ba88c938e882f9a30c6456d73b793491.tar.gz smtcoq-db9bb4f7ba88c938e882f9a30c6456d73b793491.zip | |
match -> lazymatch et Pos2Z_id
Diffstat (limited to 'src/trace/coqTerms.ml')
0 files changed, 0 insertions, 0 deletions