]> matita.cs.unibo.it Git - helm.git/tree - helm/software/matita/contribs/CoRN-Decl/algebra/
...
[helm.git] / helm / software / matita / contribs / CoRN-Decl / algebra /
drwxr-xr-x   ..
-rw-r--r-- 7136 Basics.ma
-rw-r--r-- 7963 CAbGroups.ma
-rw-r--r-- 2941 CAbMonoids.ma
-rw-r--r-- 12738 CFields.ma
-rw-r--r-- 9090 CGroups.ma
-rw-r--r-- 15177 CLogic.ma
-rw-r--r-- 4349 CMonoids.ma
-rw-r--r-- 4013 COrdAbs.ma
-rw-r--r-- 7393 COrdCauchy.ma
-rw-r--r-- 17444 COrdFields.ma
-rw-r--r-- 8898 COrdFields2.ma
-rw-r--r-- 5080 CPoly_ApZero.ma
-rw-r--r-- 6741 CPoly_Degree.ma
-rw-r--r-- 5674 CPoly_NthCoeff.ma
-rw-r--r-- 17036 CPolynomials.ma
-rw-r--r-- 19758 CRings.ma
-rw-r--r-- 5260 CSemiGroups.ma
-rw-r--r-- 16909 CSetoidFun.ma
-rw-r--r-- 3183 CSetoidInc.ma
-rw-r--r-- 22000 CSetoids.ma
-rw-r--r-- 5813 CSums.ma
-rw-r--r-- 3117 CVectorSpace.ma
-rw-r--r-- 6279 Cauchy_COF.ma
-rw-r--r-- 6276 Expon.ma
-rw-r--r-- 5552 ListType.ma