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

drwxr-xr-x		..
-rw-r--r--	4488	DIMOSTRAZIONE	blob \| history \| raw
-rw-r--r--	216231	NotaReticoli.pdf	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--	2037	constructive_connectives.ma	blob \| history \| raw
-rw-r--r--	2274	constructive_higher_order_relations.ma	blob \| history \| raw
drwxr-xr-x	-	constructive_pointfree	tree \| history
-rw-r--r--	7139	excedence.ma	blob \| history \| raw
-rw-r--r--	9350	group.ma	blob \| history \| raw
-rw-r--r--	3136	lattice.ma	blob \| history \| raw
-rw-r--r--	880	makefile	blob \| history \| raw
-rw-r--r--	1668	metric_lattice.ma	blob \| history \| raw
-rw-r--r--	2568	metric_space.ma	blob \| history \| raw
-rw-r--r--	6427	ordered_group.ma	blob \| history \| raw
-rw-r--r--	2088	ordered_set.ma	blob \| history \| raw
-rw-r--r--	2737	premetric_lattice.ma	blob \| history \| raw
-rw-r--r--	13704	preweighted_lattice.ma	blob \| history \| raw
-rw-r--r--	7366	sequence.ma	blob \| history \| raw