diff options
| author | Josh Chen | 2020-07-16 16:20:15 +0200 |
|---|---|---|
| committer | Josh Chen | 2020-07-16 16:20:15 +0200 |
| commit | 2a2fa1e4c643b73165af030dc3b6128886f7b654 (patch) | |
| tree | 82f64dd327d05c32cecb22b05ae705906f2faf88 /hott/More_Nat.thy | |
| parent | 79659cb0edf1eea026a93955403a33a1f38f6123 (diff) | |
update readme
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions