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

drwxr-xr-x		..
-rw-r--r--	7419	Bridges_LUB.mma	blob \| history \| raw
-rw-r--r--	9554	Bridges_iso.mma	blob \| history \| raw
-rw-r--r--	2476	CMetricFields.mma	blob \| history \| raw
-rw-r--r--	1515	CPoly_Contin.mma	blob \| history \| raw
-rw-r--r--	1978	CReals.mma	blob \| history \| raw
-rw-r--r--	4991	CReals1.mma	blob \| history \| raw
-rw-r--r--	2818	CSumsReals.mma	blob \| history \| raw
-rw-r--r--	9137	CauchySeq.mma	blob \| history \| raw
-rw-r--r--	4334	Cauchy_CReals.mma	blob \| history \| raw
-rw-r--r--	6293	IVT.mma	blob \| history \| raw
-rw-r--r--	9246	Intervals.mma	blob \| history \| raw
-rw-r--r--	11154	Max_AbsIR.mma	blob \| history \| raw
-rw-r--r--	7011	NRootIR.mma	blob \| history \| raw
-rw-r--r--	4250	OddPolyRootIR.mma	blob \| history \| raw
-rw-r--r--	4805	Q_dense.mma	blob \| history \| raw
-rw-r--r--	6284	Q_in_CReals.mma	blob \| history \| raw
-rw-r--r--	8205	R_morphism.mma	blob \| history \| raw
-rw-r--r--	7848	RealFuncts.mma	blob \| history \| raw
-rw-r--r--	3925	RealLists.mma	blob \| history \| raw
-rw-r--r--	10416	Series.mma	blob \| history \| raw
-rw-r--r--	4350	iso_CReals.mma	blob \| history \| raw