]>
drwxr-xr-x | .. | ||
-rw-r--r-- | 1991 | bool-setoids.ma | blob | history | raw |
-rw-r--r-- | 1272 | bool.ma | blob | history | raw |
-rw-r--r-- | 3696 | list-setoids.ma | blob | history | raw |
-rw-r--r-- | 9250 | list-theory.ma | blob | history | raw |
-rw-r--r-- | 2042 | list.ma | blob | history | raw |
-rw-r--r-- | 2257 | pairs-setoids.ma | blob | history | raw |
-rw-r--r-- | 1507 | pairs.ma | blob | history | raw |
-rw-r--r-- | 1345 | sums.ma | blob | history | raw |