diff options
| author | Théo Zimmermann | 2020-12-17 10:30:43 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2020-12-21 18:42:25 +0100 |
| commit | 9c318584622e1bb50c20d40c60d10231b789b629 (patch) | |
| tree | b7713c9f009cc5d082f90e2ef33d45ee8e2a92a5 /kernel/nativelambda.ml | |
| parent | 9d596d13b088a78e772ae58adfbd3cc1fd91f021 (diff) | |
Shorten/improve intro of "Basic proof writing" chapter.
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions