diff options
| author | Hugo Herbelin | 2017-03-24 21:48:16 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2018-09-25 16:02:51 +0200 |
| commit | f20beb1f9fe9661ad8192c578339ea8f8b897d18 (patch) | |
| tree | c39f7b2acc30b0211d8670062ef435c2525eb23d /kernel/nativelambda.ml | |
| parent | 2600ed12a3df8d9ca6678ea1e6d6c33c9164c444 (diff) | |
Adding lemmas about dependent equality.
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions