diff options
| author | Josh Chen | 2020-04-03 01:15:43 +0200 |
|---|---|---|
| committer | Josh Chen | 2020-04-03 01:15:43 +0200 |
| commit | bc2bc24f8adf48aba2328da7616825f3812ebbf9 (patch) | |
| tree | 149e2d54777f8141bc2717b275a2c83721ad1f40 /hott/Nat.thy | |
| parent | 97f3c05e0511a1ed9a95babc800a8e3f3b6a2ea8 (diff) | |
fix ROOT
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions