matita.cs.unibo.it Git - helm.git/tree - matita/matita/lib/formal

drwxr-xr-x		..
-rw-r--r--	4871	apply_functor.ma	blob \| history \| raw
-rw-r--r--	8382	basic_pairs.ma	blob \| history \| raw
-rw-r--r--	2678	basic_pairs_to_basic_topologies.ma	blob \| history \| raw
-rw-r--r--	6816	basic_pairs_to_o-basic_pairs.ma	blob \| history \| raw
-rw-r--r--	9660	basic_topologies.ma	blob \| history \| raw
-rw-r--r--	4125	basic_topologies_to_o-basic_topologies.ma	blob \| history \| raw
-rw-r--r--	20289	categories.ma	blob \| history \| raw
-rw-r--r--	4448	concrete_spaces.ma	blob \| history \| raw
-rw-r--r--	2381	concrete_spaces_to_o-concrete_spaces.ma	blob \| history \| raw
-rw-r--r--	7449	cprop_connectives.ma	blob \| history \| raw
-rw-r--r--	3877	formal_topologies.ma	blob \| history \| raw
-rw-r--r--	1228	notation.ma	blob \| history \| raw
-rw-r--r--	17664	o-algebra.ma	blob \| history \| raw
-rw-r--r--	9569	o-basic_pairs.ma	blob \| history \| raw
-rw-r--r--	5626	o-basic_pairs_to_o-basic_topologies.ma	blob \| history \| raw
-rw-r--r--	9014	o-basic_topologies.ma	blob \| history \| raw
-rw-r--r--	5410	o-concrete_spaces.ma	blob \| history \| raw
-rw-r--r--	3889	o-formal_topologies.ma	blob \| history \| raw
-rw-r--r--	1910	o-saturations.ma	blob \| history \| raw
-rw-r--r--	10001	r-o-basic_pairs.ma	blob \| history \| raw
-rw-r--r--	13953	relations.ma	blob \| history \| raw
-rw-r--r--	12306	relations_to_o-algebra.ma	blob \| history \| raw
-rw-r--r--	241	replace.sh	blob \| history \| raw
-rw-r--r--	1857	saturations.ma	blob \| history \| raw
-rw-r--r--	1641	saturations_to_o-saturations.ma	blob \| history \| raw
-rw-r--r--	7364	subsets.ma	blob \| history \| raw