]>
-rw-r--r-- | 147 | Makefile | blob | raw |
-rw-r--r-- | 6401 | Q_is_orded_divisble_group.ma | blob | raw |
drwxr-xr-x | - | attic | tree |
drwxr-xr-x | - | classical_pointfree | tree |
drwxr-xr-x | - | classical_pointwise | tree |
-rw-r--r-- | 2236 | constructive_connectives.ma | blob | raw |
-rw-r--r-- | 2253 | constructive_higher_order_relations.ma | blob | raw |
drwxr-xr-x | - | constructive_pointfree | tree |
-rw-r--r-- | 1610 | depends | blob | raw |
-rw-r--r-- | 3812 | divisible_group.ma | blob | raw |
drwxr-xr-x | - | doc | tree |
-rw-r--r-- | 9440 | excess.ma | blob | raw |
-rw-r--r-- | 8465 | group.ma | blob | raw |
-rw-r--r-- | 3514 | lattice.ma | blob | raw |
-rw-r--r-- | 4693 | metric_lattice.ma | blob | raw |
-rw-r--r-- | 2601 | metric_space.ma | blob | raw |
-rw-r--r-- | 3086 | ordered_divisible_group.ma | blob | raw |
-rw-r--r-- | 11091 | ordered_group.ma | blob | raw |
-rw-r--r-- | 3208 | premetric_lattice.ma | blob | raw |
-rw-r--r-- | 13276 | prevalued_lattice.ma | blob | raw |
-rw-r--r-- | 21 | root | blob | raw |
-rw-r--r-- | 4157 | sandwich.ma | blob | raw |
-rw-r--r-- | 8592 | sequence.ma | blob | raw |