]>
-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-- | 11367 | fintype.ma | blob | raw |
-rw-r--r-- | 4880 | list_aux.ma | blob | raw |
-rw-r--r-- | 2427 | streicher.ma | blob | raw |