diff options
| author | Pierre-Marie Pédrot | 2017-09-05 16:27:44 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-09-05 16:27:44 +0200 |
| commit | 68e803063818235acdc6ade35767ee618f88fe89 (patch) | |
| tree | a00ddfd115a11110bf14a8ad883467a3447cff7e /src/tac2stdlib.ml | |
| parent | c38e196fc175aaca2268f73107c9658c7af7d9fc (diff) | |
The absurd tactic now parses a constr.
Diffstat (limited to 'src/tac2stdlib.ml')
0 files changed, 0 insertions, 0 deletions