diff options
| author | Josh Chen | 2018-09-12 06:34:03 +0200 |
|---|---|---|
| committer | Josh Chen | 2018-09-12 06:34:03 +0200 |
| commit | 9cc9be2c6a86a6e31049c1f3512fa0b9806e03e9 (patch) | |
| tree | 7e80bfea1bbf21eb3c50ef138209718347a67aba /ex/HoTT book/Ch1.thy | |
| parent | a1afde729f1d9b2f930696b117cfaec827eaa178 (diff) | |
| parent | 563510a1940024779c3e1f73df8c1b708eb0d949 (diff) | |
Merge branch 'master' of github.com:jaycech3n/Isabelle-HoTT
Diffstat (limited to 'ex/HoTT book/Ch1.thy')
0 files changed, 0 insertions, 0 deletions