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

drwxr-xr-x		..
-rw-r--r--	264	Makefile	blob \| history \| raw
-rw-r--r--	6519	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--	1964	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--	3744	divisible_group.ma	blob \| history \| raw
drwxr-xr-x	-	doc	tree \| history
-rw-r--r--	10948	excess.ma	blob \| history \| raw
-rw-r--r--	8373	group.ma	blob \| history \| raw
-rw-r--r--	3458	infsup.ma	blob \| history \| raw
-rw-r--r--	20025	lattice.ma	blob \| history \| raw
-rw-r--r--	3123	limit.ma	blob \| history \| raw
-rw-r--r--	5057	metric_lattice.ma	blob \| history \| raw
-rw-r--r--	2472	metric_space.ma	blob \| history \| raw
-rw-r--r--	3086	ordered_divisible_group.ma	blob \| history \| raw
-rw-r--r--	11051	ordered_group.ma	blob \| history \| raw
-rw-r--r--	3162	premetric_lattice.ma	blob \| history \| raw
-rw-r--r--	13138	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--	1415	tend.ma	blob \| history \| raw