diff options
| author | Hugo Herbelin | 2015-09-08 13:06:27 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2015-09-08 13:49:54 +0200 |
| commit | 76f27140e6e3465b2d4086653bccae5206b3cfb6 (patch) | |
| tree | c85c82d533189eaebd00b28eec07f49c5b630960 /kernel/nativelambda.ml | |
| parent | 46bd7186b1236da4ef4f3e608ee989ca77d699ab (diff) | |
Fixing clearing of temporary hypotheses with intro pattern pat/constr.
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions