aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Lists
ModeNameSize
-rw-r--r--List.v49280logplain
-rw-r--r--ListSet.v11016logplain
-rw-r--r--ListTactics.v1996logplain
-rw-r--r--MonoList.v6743logplain
-rw-r--r--SetoidList.v16946logplain
-rw-r--r--StreamMemo.v5563logplain
-rw-r--r--Streams.v5927logplain
-rw-r--r--TheoryList.v9977logplain
-rwxr-xr-xintro.tex1028logplain