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--	7832	basic_pairs.ma	blob \| history \| raw
-rw-r--r--	9250	basic_topologies.ma	blob \| history \| raw
-rw-r--r--	13427	categories.ma	blob \| history \| raw
-rw-r--r--	5831	cprop_connectives.ma	blob \| history \| raw
-rw-r--r--	534	depends	blob \| history \| raw
-rw-r--r--	13909	o-algebra.ma	blob \| history \| raw
-rw-r--r--	6663	o-basic_pairs.ma	blob \| history \| raw
-rw-r--r--	9181	o-basic_topologies.ma	blob \| history \| raw
-rw-r--r--	6565	o-concrete_spaces.ma	blob \| history \| raw
-rw-r--r--	4481	o-formal_topologies.ma	blob \| history \| raw
-rw-r--r--	1947	o-saturations.ma	blob \| history \| raw
-rw-r--r--	18074	relations.ma	blob \| history \| raw
-rw-r--r--	36	root	blob \| history \| raw
-rw-r--r--	1932	saturations.ma	blob \| history \| raw
-rw-r--r--	7960	subsets.ma	blob \| history \| raw