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

drwxr-xr-x		..
-rw-r--r--	7136	Basics.ma	blob \| history \| raw
-rw-r--r--	7963	CAbGroups.ma	blob \| history \| raw
-rw-r--r--	2941	CAbMonoids.ma	blob \| history \| raw
-rw-r--r--	12738	CFields.ma	blob \| history \| raw
-rw-r--r--	9090	CGroups.ma	blob \| history \| raw
-rw-r--r--	15177	CLogic.ma	blob \| history \| raw
-rw-r--r--	4349	CMonoids.ma	blob \| history \| raw
-rw-r--r--	4013	COrdAbs.ma	blob \| history \| raw
-rw-r--r--	7393	COrdCauchy.ma	blob \| history \| raw
-rw-r--r--	17444	COrdFields.ma	blob \| history \| raw
-rw-r--r--	8898	COrdFields2.ma	blob \| history \| raw
-rw-r--r--	5080	CPoly_ApZero.ma	blob \| history \| raw
-rw-r--r--	6741	CPoly_Degree.ma	blob \| history \| raw
-rw-r--r--	5674	CPoly_NthCoeff.ma	blob \| history \| raw
-rw-r--r--	17036	CPolynomials.ma	blob \| history \| raw
-rw-r--r--	19758	CRings.ma	blob \| history \| raw
-rw-r--r--	5260	CSemiGroups.ma	blob \| history \| raw
-rw-r--r--	16909	CSetoidFun.ma	blob \| history \| raw
-rw-r--r--	3183	CSetoidInc.ma	blob \| history \| raw
-rw-r--r--	22000	CSetoids.ma	blob \| history \| raw
-rw-r--r--	5813	CSums.ma	blob \| history \| raw
-rw-r--r--	3117	CVectorSpace.ma	blob \| history \| raw
-rw-r--r--	6279	Cauchy_COF.ma	blob \| history \| raw
-rw-r--r--	6276	Expon.ma	blob \| history \| raw
-rw-r--r--	5552	ListType.ma	blob \| history \| raw