diff options
| author | Josh Chen | 2020-04-06 13:40:42 +0200 |
|---|---|---|
| committer | GitHub | 2020-04-06 13:40:42 +0200 |
| commit | ad27e7a91e41e933134edc9fcade89227fa5acdb (patch) | |
| tree | 12533f8e2cc3fc941cce75393a67fe03e7fa9d7f /hott/Nat.thy | |
| parent | 01a4d1f7cc1920033eb8df8e49e9216e37bad1ed (diff) | |
Update README.md
Diffstat (limited to 'hott/Nat.thy')
0 files changed, 0 insertions, 0 deletions