diff options
| author | Hugo Herbelin | 2015-10-24 17:57:24 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2015-10-26 20:05:40 +0100 |
| commit | d4edd135e7cb8b6f86d9d5a0d320e0b29ee20148 (patch) | |
| tree | ef38b221ff49345252772cd2682388fb1f3a5a36 /kernel/nativelambda.ml | |
| parent | 23803338b26bb833e9e5254d5b7ce36ce832ee59 (diff) | |
Preserving goal name in revert/bring_hyps.
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions