matita.cs.unibo.it Git - helm.git/tree - matita/contribs/CoRN-Decl/algebra/

drwxr-xr-x		..
-rw-r--r--	6838	Basics.ma	blob \| history \| raw
-rw-r--r--	7415	CAbGroups.ma	blob \| history \| raw
-rw-r--r--	2680	CAbMonoids.ma	blob \| history \| raw
-rw-r--r--	11978	CFields.ma	blob \| history \| raw
-rw-r--r--	8309	CGroups.ma	blob \| history \| raw
-rw-r--r--	14463	CLogic.ma	blob \| history \| raw
-rw-r--r--	4089	CMonoids.ma	blob \| history \| raw
-rw-r--r--	3869	COrdAbs.ma	blob \| history \| raw
-rw-r--r--	7105	COrdCauchy.ma	blob \| history \| raw
-rw-r--r--	15958	COrdFields.ma	blob \| history \| raw
-rw-r--r--	8719	COrdFields2.ma	blob \| history \| raw
-rw-r--r--	4671	CPoly_ApZero.ma	blob \| history \| raw
-rw-r--r--	6536	CPoly_Degree.ma	blob \| history \| raw
-rw-r--r--	5538	CPoly_NthCoeff.ma	blob \| history \| raw
-rw-r--r--	16251	CPolynomials.ma	blob \| history \| raw
-rw-r--r--	18304	CRings.ma	blob \| history \| raw
-rw-r--r--	4767	CSemiGroups.ma	blob \| history \| raw
-rw-r--r--	15101	CSetoidFun.ma	blob \| history \| raw
-rw-r--r--	2992	CSetoidInc.ma	blob \| history \| raw
-rw-r--r--	21007	CSetoids.ma	blob \| history \| raw
-rw-r--r--	5786	CSums.ma	blob \| history \| raw
-rw-r--r--	3015	CVectorSpace.ma	blob \| history \| raw
-rw-r--r--	6275	Cauchy_COF.ma	blob \| history \| raw
-rw-r--r--	6126	Expon.ma	blob \| history \| raw
-rw-r--r--	5379	ListType.ma	blob \| history \| raw