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

drwxr-xr-x		..
-rw-r--r--	6847	Basics.ma	blob \| history \| raw
-rw-r--r--	7424	CAbGroups.ma	blob \| history \| raw
-rw-r--r--	2689	CAbMonoids.ma	blob \| history \| raw
-rw-r--r--	11987	CFields.ma	blob \| history \| raw
-rw-r--r--	8318	CGroups.ma	blob \| history \| raw
-rw-r--r--	14472	CLogic.ma	blob \| history \| raw
-rw-r--r--	4098	CMonoids.ma	blob \| history \| raw
-rw-r--r--	3878	COrdAbs.ma	blob \| history \| raw
-rw-r--r--	7114	COrdCauchy.ma	blob \| history \| raw
-rw-r--r--	15967	COrdFields.ma	blob \| history \| raw
-rw-r--r--	8728	COrdFields2.ma	blob \| history \| raw
-rw-r--r--	4680	CPoly_ApZero.ma	blob \| history \| raw
-rw-r--r--	6545	CPoly_Degree.ma	blob \| history \| raw
-rw-r--r--	5547	CPoly_NthCoeff.ma	blob \| history \| raw
-rw-r--r--	16260	CPolynomials.ma	blob \| history \| raw
-rw-r--r--	18313	CRings.ma	blob \| history \| raw
-rw-r--r--	4776	CSemiGroups.ma	blob \| history \| raw
-rw-r--r--	15110	CSetoidFun.ma	blob \| history \| raw
-rw-r--r--	3001	CSetoidInc.ma	blob \| history \| raw
-rw-r--r--	21016	CSetoids.ma	blob \| history \| raw
-rw-r--r--	5795	CSums.ma	blob \| history \| raw
-rw-r--r--	3024	CVectorSpace.ma	blob \| history \| raw
-rw-r--r--	6284	Cauchy_COF.ma	blob \| history \| raw
-rw-r--r--	6135	Expon.ma	blob \| history \| raw
-rw-r--r--	5388	ListType.ma	blob \| history \| raw