aboutsummaryrefslogtreecommitdiff
path: root/hott
ModeNameSize
-rw-r--r--Bool_HoTT.thy67logplain
-rw-r--r--Equivalence.thy13387logplain
-rw-r--r--Identity.thy21319logplain
-rw-r--r--List_HoTT.thy319logplain
-rw-r--r--Nat.thy5995logplain
-rw-r--r--Propositions.thy459logplain