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

drwxr-xr-x		..
-rw-r--r--	7943	Basics.mma	blob \| history \| raw
-rw-r--r--	8673	CAbGroups.mma	blob \| history \| raw
-rw-r--r--	3024	CAbMonoids.mma	blob \| history \| raw
-rw-r--r--	14145	CFields.mma	blob \| history \| raw
-rw-r--r--	10119	CGroups.mma	blob \| history \| raw
-rw-r--r--	17442	CLogic.mma	blob \| history \| raw
-rw-r--r--	4595	CMonoids.mma	blob \| history \| raw
-rw-r--r--	4545	COrdAbs.mma	blob \| history \| raw
-rw-r--r--	8156	COrdCauchy.mma	blob \| history \| raw
-rw-r--r--	20120	COrdFields.mma	blob \| history \| raw
-rw-r--r--	10544	COrdFields2.mma	blob \| history \| raw
-rw-r--r--	5512	CPoly_ApZero.mma	blob \| history \| raw
-rw-r--r--	7672	CPoly_Degree.mma	blob \| history \| raw
-rw-r--r--	6234	CPoly_NthCoeff.mma	blob \| history \| raw
-rw-r--r--	20560	CPolynomials.mma	blob \| history \| raw
-rw-r--r--	22322	CRings.mma	blob \| history \| raw
-rw-r--r--	5474	CSemiGroups.mma	blob \| history \| raw
-rw-r--r--	18046	CSetoidFun.mma	blob \| history \| raw
-rw-r--r--	3392	CSetoidInc.mma	blob \| history \| raw
-rw-r--r--	24842	CSetoids.mma	blob \| history \| raw
-rw-r--r--	6732	CSums.mma	blob \| history \| raw
-rw-r--r--	3258	CVectorSpace.mma	blob \| history \| raw
-rw-r--r--	7449	Cauchy_COF.mma	blob \| history \| raw
-rw-r--r--	7063	Expon.mma	blob \| history \| raw
-rw-r--r--	6092	ListType.mma	blob \| history \| raw