aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Lists
ModeNameSize
-rw-r--r--List.v64523logplain
-rw-r--r--ListDec.v3170logplain
-rw-r--r--ListSet.v13992logplain
-rw-r--r--ListTactics.v2119logplain
-rw-r--r--SetoidList.v28159logplain
-rw-r--r--SetoidPermutation.v6265logplain
-rw-r--r--StreamMemo.v5472logplain
-rw-r--r--Streams.v5848logplain