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

drwxr-xr-x		..
-rw-r--r--	8037	Bridges_LUB.mma	blob \| history \| raw
-rw-r--r--	10216	Bridges_iso.mma	blob \| history \| raw
-rw-r--r--	2544	CMetricFields.mma	blob \| history \| raw
-rw-r--r--	1551	CPoly_Contin.mma	blob \| history \| raw
-rw-r--r--	1992	CReals.mma	blob \| history \| raw
-rw-r--r--	5115	CReals1.mma	blob \| history \| raw
-rw-r--r--	2943	CSumsReals.mma	blob \| history \| raw
-rw-r--r--	9776	CauchySeq.mma	blob \| history \| raw
-rw-r--r--	4631	Cauchy_CReals.mma	blob \| history \| raw
-rw-r--r--	6512	IVT.mma	blob \| history \| raw
-rw-r--r--	9670	Intervals.mma	blob \| history \| raw
-rw-r--r--	12146	Max_AbsIR.mma	blob \| history \| raw
-rw-r--r--	7446	NRootIR.mma	blob \| history \| raw
-rw-r--r--	4474	OddPolyRootIR.mma	blob \| history \| raw
-rw-r--r--	5205	Q_dense.mma	blob \| history \| raw
-rw-r--r--	6552	Q_in_CReals.mma	blob \| history \| raw
-rw-r--r--	8562	R_morphism.mma	blob \| history \| raw
-rw-r--r--	8097	RealFuncts.mma	blob \| history \| raw
-rw-r--r--	4122	RealLists.mma	blob \| history \| raw
-rw-r--r--	10928	Series.mma	blob \| history \| raw
-rw-r--r--	4742	iso_CReals.mma	blob \| history \| raw