diff options
| author | Josh Chen | 2018-08-18 23:39:52 +0200 |
|---|---|---|
| committer | Josh Chen | 2018-08-18 23:39:52 +0200 |
| commit | 2d131e90b950bed47cb315288d8f6e90969f3918 (patch) | |
| tree | 5a9ae5b8d1e13bf9c2ebc75cd69f4d6222e25ad2 /ex/HoTT book | |
| parent | 8833cdf99d3128466d85eb88aeb8e340e07e937c (diff) | |
Update Test.thy
Diffstat (limited to 'ex/HoTT book')
0 files changed, 0 insertions, 0 deletions