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

drwxr-xr-x		..
-rw-r--r--	6970	Basics.ma	blob \| history \| raw
-rw-r--r--	7413	CAbGroups.ma	blob \| history \| raw
-rw-r--r--	2678	CAbMonoids.ma	blob \| history \| raw
-rw-r--r--	12205	CFields.ma	blob \| history \| raw
-rw-r--r--	8619	CGroups.ma	blob \| history \| raw
-rw-r--r--	15044	CLogic.ma	blob \| history \| raw
-rw-r--r--	4133	CMonoids.ma	blob \| history \| raw
-rw-r--r--	3960	COrdAbs.ma	blob \| history \| raw
-rw-r--r--	7103	COrdCauchy.ma	blob \| history \| raw
-rw-r--r--	17289	COrdFields.ma	blob \| history \| raw
-rw-r--r--	8805	COrdFields2.ma	blob \| history \| raw
-rw-r--r--	4815	CPoly_ApZero.ma	blob \| history \| raw
-rw-r--r--	6680	CPoly_Degree.ma	blob \| history \| raw
-rw-r--r--	5634	CPoly_NthCoeff.ma	blob \| history \| raw
-rw-r--r--	16731	CPolynomials.ma	blob \| history \| raw
-rw-r--r--	19220	CRings.ma	blob \| history \| raw
-rw-r--r--	4910	CSemiGroups.ma	blob \| history \| raw
-rw-r--r--	15569	CSetoidFun.ma	blob \| history \| raw
-rw-r--r--	2992	CSetoidInc.ma	blob \| history \| raw
-rw-r--r--	21197	CSetoids.ma	blob \| history \| raw
-rw-r--r--	5786	CSums.ma	blob \| history \| raw
-rw-r--r--	3083	CVectorSpace.ma	blob \| history \| raw
-rw-r--r--	6275	Cauchy_COF.ma	blob \| history \| raw
-rw-r--r--	6205	Expon.ma	blob \| history \| raw
-rw-r--r--	5379	ListType.ma	blob \| history \| raw