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--	4835	apply_functor.ma	blob \| history \| raw
-rw-r--r--	8550	basic_pairs.ma	blob \| history \| raw
-rw-r--r--	1954	basic_pairs_to_basic_topologies.ma	blob \| history \| raw
-rw-r--r--	7008	basic_pairs_to_o-basic_pairs.ma	blob \| history \| raw
-rw-r--r--	8850	basic_topologies.ma	blob \| history \| raw
-rw-r--r--	1695	basic_topologies_to_o-basic_topologies.ma	blob \| history \| raw
-rw-r--r--	18753	categories.ma	blob \| history \| raw
-rw-r--r--	4433	concrete_spaces.ma	blob \| history \| raw
-rw-r--r--	2333	concrete_spaces_to_o-concrete_spaces.ma	blob \| history \| raw
-rw-r--r--	8210	cprop_connectives.ma	blob \| history \| raw
-rw-r--r--	1438	depends	blob \| history \| raw
-rw-r--r--	3861	formal_topologies.ma	blob \| history \| raw
-rw-r--r--	1228	notation.ma	blob \| history \| raw
-rw-r--r--	17917	o-algebra.ma	blob \| history \| raw
-rw-r--r--	9457	o-basic_pairs.ma	blob \| history \| raw
-rw-r--r--	5486	o-basic_pairs_to_o-basic_topologies.ma	blob \| history \| raw
-rw-r--r--	8759	o-basic_topologies.ma	blob \| history \| raw
-rw-r--r--	5374	o-concrete_spaces.ma	blob \| history \| raw
-rw-r--r--	3873	o-formal_topologies.ma	blob \| history \| raw
-rw-r--r--	1947	o-saturations.ma	blob \| history \| raw
-rw-r--r--	9946	r-o-basic_pairs.ma	blob \| history \| raw
-rw-r--r--	12265	relations.ma	blob \| history \| raw
-rw-r--r--	13002	relations_to_o-algebra.ma	blob \| history \| raw
-rw-r--r--	36	root	blob \| history \| raw
-rw-r--r--	1837	saturations.ma	blob \| history \| raw
-rw-r--r--	1593	saturations_to_o-saturations.ma	blob \| history \| raw
-rw-r--r--	7347	subsets.ma	blob \| history \| raw