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

drwxr-xr-x		..
-rw-r--r--	1991	bool-setoids.ma	blob \| history \| raw
-rw-r--r--	1274	bool.ma	blob \| history \| raw
-rw-r--r--	3599	list-setoids.ma	blob \| history \| raw
-rw-r--r--	9250	list-theory.ma	blob \| history \| raw
-rw-r--r--	2042	list.ma	blob \| history \| raw
-rw-r--r--	2245	pairs-setoids.ma	blob \| history \| raw
-rw-r--r--	1507	pairs.ma	blob \| history \| raw
-rw-r--r--	1345	sums.ma	blob \| history \| raw