diff options
| author | Josh Chen | 2020-06-15 11:58:30 +0200 |
|---|---|---|
| committer | Josh Chen | 2020-06-15 11:58:30 +0200 |
| commit | 8885f9c96d950655250292ee03b54aafeb2f727f (patch) | |
| tree | 408bc5c46d86d066e3eebe202a18dd84e381447b /hott/More_Nat.thy | |
| parent | 28e91f960d7b41f3658a2736f7d87ba5e79f87f6 (diff) | |
fix ROOT
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions