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

drwxr-xr-x		..
-rw-r--r--	310	Makefile	blob \| history \| raw
-rw-r--r--	7019	basic_pairs.ma	blob \| history \| raw
-rw-r--r--	1947	basic_pairs_to_basic_topologies.ma	blob \| history \| raw
-rw-r--r--	5438	basic_pairs_to_o-basic_pairs.ma	blob \| history \| raw
-rw-r--r--	8896	basic_topologies.ma	blob \| history \| raw
-rw-r--r--	1823	basic_topologies_to_o-basic_topologies.ma	blob \| history \| raw
-rw-r--r--	17174	categories.ma	blob \| history \| raw
-rw-r--r--	4433	concrete_spaces.ma	blob \| history \| raw
-rw-r--r--	2327	concrete_spaces_to_o-concrete_spaces.ma	blob \| history \| raw
-rw-r--r--	7587	cprop_connectives.ma	blob \| history \| raw
-rw-r--r--	1264	depends	blob \| history \| raw
-rw-r--r--	3857	formal_topologies.ma	blob \| history \| raw
-rw-r--r--	1143	notation.ma	blob \| history \| raw
-rw-r--r--	17356	o-algebra.ma	blob \| history \| raw
-rw-r--r--	7910	o-basic_pairs.ma	blob \| history \| raw
-rw-r--r--	6764	o-basic_pairs_to_o-basic_topologies.ma	blob \| history \| raw
-rw-r--r--	8681	o-basic_topologies.ma	blob \| history \| raw
-rw-r--r--	5360	o-concrete_spaces.ma	blob \| history \| raw
-rw-r--r--	3863	o-formal_topologies.ma	blob \| history \| raw
-rw-r--r--	1947	o-saturations.ma	blob \| history \| raw
-rw-r--r--	12398	relations.ma	blob \| history \| raw
-rw-r--r--	13020	relations_to_o-algebra.ma	blob \| history \| raw
-rw-r--r--	36	root	blob \| history \| raw
-rw-r--r--	1932	saturations.ma	blob \| history \| raw
-rw-r--r--	1653	saturations_to_o-saturations.ma	blob \| history \| raw
-rw-r--r--	6235	subsets.ma	blob \| history \| raw