aboutsummaryrefslogtreecommitdiff
path: root/hott
ModeNameSize
-rw-r--r--Eckmann_Hilton.thy8867logplain
-rw-r--r--Equivalence.thy12890logplain
-rw-r--r--Identity.thy12640logplain
-rw-r--r--More_List.thy490logplain
-rw-r--r--Nat.thy3293logplain