diff options
| author | Lars Hupel | 2018-09-18 16:52:08 +0200 |
|---|---|---|
| committer | Lars Hupel | 2018-09-18 16:52:08 +0200 |
| commit | f07e0e2349a222130209ada9c029eea3d1fe8144 (patch) | |
| tree | df5863f0fe5dd181dde689383a101bf3bb3f57e5 /HoTT_Base.thy | |
| parent | c93932c689640a530de946f35a0a9dc82e56e776 (diff) | |
add ROOT file
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions