diff options
author | 2014-12-29 10:09:45 +0100 | |
---|---|---|
committer | 2014-12-29 10:09:45 +0100 | |
commit | 0fb1a406c6b0ef7a467e05e37eb97263362eb29e (patch) | |
tree | 0aa330e631a4120f29fa907a7cbcca0213d82b1a /grammar/q_constr.ml4 | |
parent | ab61aa61b1bb50f76101bb38ea5fe76eb1ea2244 (diff) |
Proof using: do not clear letins (unless they use a cleared var)
Diffstat (limited to 'grammar/q_constr.ml4')
0 files changed, 0 insertions, 0 deletions