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

drwxr-xr-x		..
-rw-r--r--	7192	Basics.ma	blob \| history \| raw
-rw-r--r--	8129	CAbGroups.ma	blob \| history \| raw
-rw-r--r--	3066	CAbMonoids.ma	blob \| history \| raw
-rw-r--r--	12849	CFields.ma	blob \| history \| raw
-rw-r--r--	9231	CGroups.ma	blob \| history \| raw
-rw-r--r--	15260	CLogic.ma	blob \| history \| raw
-rw-r--r--	4431	CMonoids.ma	blob \| history \| raw
-rw-r--r--	4046	COrdAbs.ma	blob \| history \| raw
-rw-r--r--	7533	COrdCauchy.ma	blob \| history \| raw
-rw-r--r--	17549	COrdFields.ma	blob \| history \| raw
-rw-r--r--	8957	COrdFields2.ma	blob \| history \| raw
-rw-r--r--	5207	CPoly_ApZero.ma	blob \| history \| raw
-rw-r--r--	6772	CPoly_Degree.ma	blob \| history \| raw
-rw-r--r--	5694	CPoly_NthCoeff.ma	blob \| history \| raw
-rw-r--r--	17197	CPolynomials.ma	blob \| history \| raw
-rw-r--r--	19971	CRings.ma	blob \| history \| raw
-rw-r--r--	5370	CSemiGroups.ma	blob \| history \| raw
-rw-r--r--	17519	CSetoidFun.ma	blob \| history \| raw
-rw-r--r--	3249	CSetoidInc.ma	blob \| history \| raw
-rw-r--r--	22569	CSetoids.ma	blob \| history \| raw
-rw-r--r--	5820	CSums.ma	blob \| history \| raw
-rw-r--r--	3129	CVectorSpace.ma	blob \| history \| raw
-rw-r--r--	6285	Cauchy_COF.ma	blob \| history \| raw
-rw-r--r--	6307	Expon.ma	blob \| history \| raw
-rw-r--r--	5628	ListType.ma	blob \| history \| raw