]>
-rw-r--r-- | 7655 | decidable.ma | blob | raw |
-rw-r--r-- | 6449 | eqtype.ma | blob | raw |
-rw-r--r-- | 11106 | fgraph.ma | blob | raw |
-rw-r--r-- | 11243 | fintype.ma | blob | raw |
-rw-r--r-- | 4868 | list_aux.ma | blob | raw |
-rw-r--r-- | 2427 | streicher.ma | blob | raw |