diff options
| author | Emilio Jesus Gallego Arias | 2020-03-09 02:09:03 -0400 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-03-25 06:04:29 -0400 |
| commit | affb6ac843380e8e134fd89380746f2f6f8c11de (patch) | |
| tree | f66eb970c747c1f03a3c5fec6c7c2aaeb1d0a0b8 /kernel/nativelambda.ml | |
| parent | 09d6197bd11ed4a323b335118ae749d7caefeb55 (diff) | |
[proof] [mutual] Factorize mutual body construction.
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions