matita.cs.unibo.it Git - helm.git/tree

drwxr-xr-x		..
-rw-r--r--	5971	Bridges_LUB.ma	blob \| history \| raw
-rw-r--r--	7555	Bridges_iso.ma	blob \| history \| raw
-rw-r--r--	2386	CMetricFields.ma	blob \| history \| raw
-rw-r--r--	1530	CPoly_Contin.ma	blob \| history \| raw
-rw-r--r--	2007	CReals.ma	blob \| history \| raw
-rw-r--r--	4408	CReals1.ma	blob \| history \| raw
-rw-r--r--	2699	CSumsReals.ma	blob \| history \| raw
-rw-r--r--	8256	CauchySeq.ma	blob \| history \| raw
-rw-r--r--	3899	Cauchy_CReals.ma	blob \| history \| raw
-rw-r--r--	5154	IVT.ma	blob \| history \| raw
-rw-r--r--	8444	Intervals.ma	blob \| history \| raw
-rw-r--r--	9648	Max_AbsIR.ma	blob \| history \| raw
-rw-r--r--	6383	NRootIR.ma	blob \| history \| raw
-rw-r--r--	3898	OddPolyRootIR.ma	blob \| history \| raw
-rw-r--r--	4300	Q_dense.ma	blob \| history \| raw
-rw-r--r--	6021	Q_in_CReals.ma	blob \| history \| raw
-rw-r--r--	6895	R_morphism.ma	blob \| history \| raw
-rw-r--r--	7670	RealFuncts.ma	blob \| history \| raw
-rw-r--r--	3753	RealLists.ma	blob \| history \| raw
-rw-r--r--	9079	Series.ma	blob \| history \| raw
-rw-r--r--	3928	iso_CReals.ma	blob \| history \| raw