diff options
| author | Hugo Herbelin | 2020-03-22 20:55:43 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2020-04-03 20:33:27 +0200 |
| commit | 541a99bcbd0fe761934f7291508c3c604d76f940 (patch) | |
| tree | eb1e9a52d7c05221eb0e7a7190389b426381d443 /kernel/nativevalues.ml | |
| parent | c5c8ce135606f311834d4c0b9ac3e72be5ee4a36 (diff) | |
Adding fresh-in-context: a short form of Ltac2 Fresh.fresh.
Diffstat (limited to 'kernel/nativevalues.ml')
0 files changed, 0 insertions, 0 deletions