]> matita.cs.unibo.it Git - helm.git/tree - matita/matita/lib/formal_topology/
Progress
[helm.git] / matita / matita / lib / formal_topology /
drwxr-xr-x   ..
-rw-r--r-- 4871 apply_functor.ma
-rw-r--r-- 8382 basic_pairs.ma
-rw-r--r-- 2678 basic_pairs_to_basic_topologies.ma
-rw-r--r-- 6816 basic_pairs_to_o-basic_pairs.ma
-rw-r--r-- 9660 basic_topologies.ma
-rw-r--r-- 4125 basic_topologies_to_o-basic_topologies.ma
-rw-r--r-- 20289 categories.ma
-rw-r--r-- 4448 concrete_spaces.ma
-rw-r--r-- 2381 concrete_spaces_to_o-concrete_spaces.ma
-rw-r--r-- 7449 cprop_connectives.ma
-rw-r--r-- 3877 formal_topologies.ma
-rw-r--r-- 1228 notation.ma
-rw-r--r-- 17664 o-algebra.ma
-rw-r--r-- 9569 o-basic_pairs.ma
-rw-r--r-- 5626 o-basic_pairs_to_o-basic_topologies.ma
-rw-r--r-- 9014 o-basic_topologies.ma
-rw-r--r-- 5410 o-concrete_spaces.ma
-rw-r--r-- 3889 o-formal_topologies.ma
-rw-r--r-- 1910 o-saturations.ma
-rw-r--r-- 10001 r-o-basic_pairs.ma
-rw-r--r-- 13953 relations.ma
-rw-r--r-- 12306 relations_to_o-algebra.ma
-rw-r--r-- 241 replace.sh
-rw-r--r-- 1857 saturations.ma
-rw-r--r-- 1641 saturations_to_o-saturations.ma
-rw-r--r-- 7364 subsets.ma