diff options
| author |  Pierre Letouzey <pierre.letouzey@inria.fr> | 2017-07-26 20:51:22 +0200 |
|---|---|---|
| committer | Pierre Letouzey <pierre.letouzey@inria.fr> | 2017-07-26 20:51:22 +0200 |
| commit | 87130496c04dc393e32837f1ce95e463938b2202 (patch) | |
| tree | 68d2ef56c845ee4b69a8c883456bb2a7ad0d8151 /test-suite/success/TacticNotation1.v | |
| parent | 324a90078a47e469e4b185cfc6333a741cf48dc2 (diff) | |
test-suite/success/extraction.v : add some Extraction TestCompile
Diffstat (limited to 'test-suite/success/TacticNotation1.v')
0 files changed, 0 insertions, 0 deletions