]>
-rw-r--r-- | 7655 | decidable.ma | blob | raw |
-rw-r--r-- | 6421 | eqtype.ma | blob | raw |
-rw-r--r-- | 11084 | fgraph.ma | blob | raw |
-rw-r--r-- | 11213 | fintype.ma | blob | raw |
-rw-r--r-- | 4823 | list_aux.ma | blob | raw |
-rw-r--r-- | 2427 | streicher.ma | blob | raw |