]>
-rw-r--r-- | 6964 | cologic.ma | blob | raw |
-rw-r--r-- | 2288 | connectives.ma | blob | raw |
-rw-r--r-- | 10600 | cprop.ma | blob | raw |
-rw-r--r-- | 2221 | destruct_bb.ma | blob | raw |
-rw-r--r-- | 10082 | equality.ma | blob | raw |
-rw-r--r-- | 1158 | pts.ma | blob | raw |