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