]> matita.cs.unibo.it Git - helm.git/tree - helm/software/matita/contribs/dama/dama_duality/
...
[helm.git] / helm / software / matita / contribs / dama / dama_duality /
drwxr-xr-x   ..
-rw-r--r-- 264 Makefile
-rw-r--r-- 6519 Q_is_orded_divisble_group.ma
-rw-r--r-- 337 TODO
drwxr-xr-x - attic
drwxr-xr-x - classical_pointfree
drwxr-xr-x - classical_pointwise
-rw-r--r-- 1964 constructive_connectives.ma
-rw-r--r-- 2253 constructive_higher_order_relations.ma
drwxr-xr-x - constructive_pointfree
-rw-r--r-- 1756 depends
-rw-r--r-- 3744 divisible_group.ma
drwxr-xr-x - doc
-rw-r--r-- 10948 excess.ma
-rw-r--r-- 8373 group.ma
-rw-r--r-- 3458 infsup.ma
-rw-r--r-- 20025 lattice.ma
-rw-r--r-- 3123 limit.ma
-rw-r--r-- 5057 metric_lattice.ma
-rw-r--r-- 2472 metric_space.ma
-rw-r--r-- 3086 ordered_divisible_group.ma
-rw-r--r-- 11051 ordered_group.ma
-rw-r--r-- 3162 premetric_lattice.ma
-rw-r--r-- 13138 prevalued_lattice.ma
-rw-r--r-- 21 root
-rw-r--r-- 4303 sandwich.ma
-rw-r--r-- 2304 sandwich_corollary.ma
-rw-r--r-- 1211 sequence.ma
-rw-r--r-- 1415 tend.ma