aboutsummaryrefslogtreecommitdiff
path: root/theories/Lists
ModeNameSize
-rw-r--r--List.v68781logplain
-rw-r--r--ListDec.v3320logplain
-rw-r--r--ListSet.v14177logplain
-rw-r--r--ListTactics.v2269logplain
-rw-r--r--SetoidList.v28393logplain
-rw-r--r--SetoidPermutation.v6429logplain
-rw-r--r--StreamMemo.v5731logplain
-rw-r--r--Streams.v6099logplain