diff options
| author | Théo Zimmermann | 2020-11-05 11:46:30 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2020-11-05 11:46:30 +0100 |
| commit | a5aee12a54f02e84dfc36609f3a61bee36073a39 (patch) | |
| tree | 1d562544517968d3f1ddc436e61cac73a3156682 /kernel/nativelambda.ml | |
| parent | 4a22c8332cc562fd65fb96f368c788296eb18bb1 (diff) | |
Add new page to writing proof index.
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions