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

drwxr-xr-x		..
-rw-r--r--	8077	Bridges_LUB.mma	blob \| history \| raw
-rw-r--r--	10287	Bridges_iso.mma	blob \| history \| raw
-rw-r--r--	2545	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--	5181	CReals1.mma	blob \| history \| raw
-rw-r--r--	2944	CSumsReals.mma	blob \| history \| raw
-rw-r--r--	9774	CauchySeq.mma	blob \| history \| raw
-rw-r--r--	4649	Cauchy_CReals.mma	blob \| history \| raw
-rw-r--r--	6631	IVT.mma	blob \| history \| raw
-rw-r--r--	9687	Intervals.mma	blob \| history \| raw
-rw-r--r--	12157	Max_AbsIR.mma	blob \| history \| raw
-rw-r--r--	7467	NRootIR.mma	blob \| history \| raw
-rw-r--r--	4478	OddPolyRootIR.mma	blob \| history \| raw
-rw-r--r--	5211	Q_dense.mma	blob \| history \| raw
-rw-r--r--	6554	Q_in_CReals.mma	blob \| history \| raw
-rw-r--r--	8624	R_morphism.mma	blob \| history \| raw
-rw-r--r--	8100	RealFuncts.mma	blob \| history \| raw
-rw-r--r--	4122	RealLists.mma	blob \| history \| raw
-rw-r--r--	10996	Series.mma	blob \| history \| raw
-rw-r--r--	4746	iso_CReals.mma	blob \| history \| raw