aboutsummaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore122logplain
-rw-r--r--Coprod.thy1961logplain
-rw-r--r--Empty.thy567logplain
-rw-r--r--Equal.thy1987logplain
-rw-r--r--EqualProps.thy10481logplain
-rw-r--r--HoTT.thy646logplain
-rw-r--r--HoTT_Base.thy2974logplain
-rw-r--r--HoTT_Methods.thy2278logplain
-rw-r--r--LICENSE7651logplain
-rw-r--r--Nat.thy1477logplain
-rw-r--r--Prod.thy3451logplain
-rw-r--r--ProdProps.thy2032logplain
-rw-r--r--Proj.thy1780logplain
-rw-r--r--README.md748logplain
-rw-r--r--Sum.thy2149logplain
-rw-r--r--Unit.thy788logplain
d---------ex116logplain
d---------tests75logplain