summaryrefslogtreecommitdiff
path: root/theories/Lists
ModeNameSize
-rw-r--r--List.v48990logplain
-rw-r--r--ListSet.v11064logplain
-rw-r--r--ListTactics.v2047logplain
-rw-r--r--MonoList.v6788logplain
-rw-r--r--SetoidList.v21422logplain
-rw-r--r--StreamMemo.v5563logplain
-rw-r--r--Streams.v5974logplain
-rw-r--r--TheoryList.v10027logplain
-rwxr-xr-xintro.tex1028logplain