]>
-rw-r--r-- | 1991 | bool-setoids.ma | blob | raw |
-rw-r--r-- | 1274 | bool.ma | blob | raw |
-rw-r--r-- | 3696 | list-setoids.ma | blob | raw |
-rw-r--r-- | 9250 | list-theory.ma | blob | raw |
-rw-r--r-- | 15761 | list.ma | blob | raw |
-rw-r--r-- | 2257 | pairs-setoids.ma | blob | raw |
-rw-r--r-- | 1507 | pairs.ma | blob | raw |
-rw-r--r-- | 1345 | sums.ma | blob | raw |