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

drwxr-xr-x		..
-rw-r--r--	4867	apply_functor.ma	blob \| history \| raw
-rw-r--r--	8378	basic_pairs.ma	blob \| history \| raw
-rw-r--r--	2676	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--	9656	basic_topologies.ma	blob \| history \| raw
-rw-r--r--	4125	basic_topologies_to_o-basic_topologies.ma	blob \| history \| raw
-rw-r--r--	20897	categories.ma	blob \| history \| raw
-rw-r--r--	4444	concrete_spaces.ma	blob \| history \| raw
-rw-r--r--	2381	concrete_spaces_to_o-concrete_spaces.ma	blob \| history \| raw
-rw-r--r--	8210	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--	17656	o-algebra.ma	blob \| history \| raw
-rw-r--r--	9565	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--	9010	o-basic_topologies.ma	blob \| history \| raw
-rw-r--r--	5406	o-concrete_spaces.ma	blob \| history \| raw
-rw-r--r--	3889	o-formal_topologies.ma	blob \| history \| raw
-rw-r--r--	1906	o-saturations.ma	blob \| history \| raw
-rw-r--r--	9999	r-o-basic_pairs.ma	blob \| history \| raw
-rw-r--r--	13951	relations.ma	blob \| history \| raw
-rw-r--r--	12306	relations_to_o-algebra.ma	blob \| history \| raw
-rw-r--r--	1853	saturations.ma	blob \| history \| raw
-rw-r--r--	1641	saturations_to_o-saturations.ma	blob \| history \| raw
-rw-r--r--	7358	subsets.ma	blob \| history \| raw