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

drwxr-xr-x		..
-rw-r--r--	4876	apply_functor.ma	blob \| history \| raw
-rw-r--r--	8436	basic_pairs.ma	blob \| history \| raw
-rw-r--r--	2684	basic_pairs_to_basic_topologies.ma	blob \| history \| raw
-rw-r--r--	6821	basic_pairs_to_o-basic_pairs.ma	blob \| history \| raw
-rw-r--r--	9665	basic_topologies.ma	blob \| history \| raw
-rw-r--r--	4128	basic_topologies_to_o-basic_topologies.ma	blob \| history \| raw
-rw-r--r--	20394	categories.ma	blob \| history \| raw
-rw-r--r--	4454	concrete_spaces.ma	blob \| history \| raw
-rw-r--r--	2387	concrete_spaces_to_o-concrete_spaces.ma	blob \| history \| raw
-rw-r--r--	7449	cprop_connectives.ma	blob \| history \| raw
-rw-r--r--	3979	formal_topologies.ma	blob \| history \| raw
-rw-r--r--	1232	notation.ma	blob \| history \| raw
-rw-r--r--	17720	o-algebra.ma	blob \| history \| raw
-rw-r--r--	9623	o-basic_pairs.ma	blob \| history \| raw
-rw-r--r--	5631	o-basic_pairs_to_o-basic_topologies.ma	blob \| history \| raw
-rw-r--r--	9019	o-basic_topologies.ma	blob \| history \| raw
-rw-r--r--	5511	o-concrete_spaces.ma	blob \| history \| raw
-rw-r--r--	3990	o-formal_topologies.ma	blob \| history \| raw
-rw-r--r--	1915	o-saturations.ma	blob \| history \| raw
-rw-r--r--	10007	r-o-basic_pairs.ma	blob \| history \| raw
-rw-r--r--	14010	relations.ma	blob \| history \| raw
-rw-r--r--	12312	relations_to_o-algebra.ma	blob \| history \| raw
-rw-r--r--	241	replace.sh	blob \| history \| raw
-rw-r--r--	1862	saturations.ma	blob \| history \| raw
-rw-r--r--	1646	saturations_to_o-saturations.ma	blob \| history \| raw
-rw-r--r--	7456	subsets.ma	blob \| history \| raw