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

drwxr-xr-x		..
-rw-r--r--	264	Makefile	blob \| history \| raw
-rw-r--r--	6401	Q_is_orded_divisble_group.ma	blob \| history \| raw
-rw-r--r--	337	TODO	blob \| history \| raw
drwxr-xr-x	-	attic	tree \| history
drwxr-xr-x	-	classical_pointfree	tree \| history
drwxr-xr-x	-	classical_pointwise	tree \| history
-rw-r--r--	2236	constructive_connectives.ma	blob \| history \| raw
-rw-r--r--	2253	constructive_higher_order_relations.ma	blob \| history \| raw
drwxr-xr-x	-	constructive_pointfree	tree \| history
-rw-r--r--	1756	depends	blob \| history \| raw
-rw-r--r--	3812	divisible_group.ma	blob \| history \| raw
drwxr-xr-x	-	doc	tree \| history
-rw-r--r--	11569	excess.ma	blob \| history \| raw
-rw-r--r--	8465	group.ma	blob \| history \| raw
-rw-r--r--	3665	infsup.ma	blob \| history \| raw
-rw-r--r--	19503	lattice.ma	blob \| history \| raw
-rw-r--r--	3212	limit.ma	blob \| history \| raw
-rw-r--r--	5163	metric_lattice.ma	blob \| history \| raw
-rw-r--r--	2530	metric_space.ma	blob \| history \| raw
-rw-r--r--	3086	ordered_divisible_group.ma	blob \| history \| raw
-rw-r--r--	11050	ordered_group.ma	blob \| history \| raw
-rw-r--r--	3208	premetric_lattice.ma	blob \| history \| raw
-rw-r--r--	13276	prevalued_lattice.ma	blob \| history \| raw
-rw-r--r--	21	root	blob \| history \| raw
-rw-r--r--	4303	sandwich.ma	blob \| history \| raw
-rw-r--r--	2304	sandwich_corollary.ma	blob \| history \| raw
-rw-r--r--	1211	sequence.ma	blob \| history \| raw
-rw-r--r--	1460	tend.ma	blob \| history \| raw