aboutsummaryrefslogtreecommitdiff
path: root/hott
ModeNameSize
-rw-r--r--Equivalence.thy13778logplain
-rw-r--r--Identity.thy20210logplain
-rw-r--r--More_List.thy302logplain
-rw-r--r--More_Nat.thy1108logplain
-rw-r--r--Nat.thy6268logplain