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	-	classical_pointfree	tree \| history
drwxr-xr-x	-	classical_pointwise	tree \| history
-rw-r--r--	2036	constructive_connectives.ma	blob \| history \| raw
-rw-r--r--	1577	constructive_higher_order_relations.ma	blob \| history \| raw
drwxr-xr-x	-	constructive_pointfree	tree \| history
-rw-r--r--	2137	fields.ma	blob \| history \| raw
-rw-r--r--	4497	groups.ma	blob \| history \| raw
-rw-r--r--	12143	integration_algebras.ma	blob \| history \| raw
-rw-r--r--	2636	lattices.ma	blob \| history \| raw
-rw-r--r--	880	makefile	blob \| history \| raw
-rw-r--r--	5350	ordered_fields_ch0.ma	blob \| history \| raw
-rw-r--r--	2770	ordered_groups.ma	blob \| history \| raw
-rw-r--r--	4844	ordered_sets.ma	blob \| history \| raw
-rw-r--r--	4863	reals.ma	blob \| history \| raw
-rw-r--r--	3573	rings.ma	blob \| history \| raw
-rw-r--r--	5042	vector_spaces.ma	blob \| history \| raw