matita.cs.unibo.it Git - helm.git/tree - helm/software/matita/contribs/procedural/Coq/Reals/

drwxr-xr-x		..
-rw-r--r--	2819	Alembert.mma	blob \| history \| raw
-rw-r--r--	3859	AltSeries.mma	blob \| history \| raw
-rw-r--r--	2550	ArithProp.mma	blob \| history \| raw
-rw-r--r--	2318	Binomial.mma	blob \| history \| raw
-rw-r--r--	2144	Cauchy_prod.mma	blob \| history \| raw
-rw-r--r--	2536	Cos_plus.mma	blob \| history \| raw
-rw-r--r--	2716	Cos_rel.mma	blob \| history \| raw
-rw-r--r--	3973	DiscrR.mma	blob \| history \| raw
-rw-r--r--	3397	Exp_prop.mma	blob \| history \| raw
-rw-r--r--	1804	Integration.mma	blob \| history \| raw
-rw-r--r--	3871	MVT.mma	blob \| history \| raw
-rw-r--r--	3789	NewtonInt.mma	blob \| history \| raw
-rw-r--r--	3107	PSeries_reg.mma	blob \| history \| raw
-rw-r--r--	4263	PartSum.mma	blob \| history \| raw
-rw-r--r--	28300	RIneq.mma	blob \| history \| raw
-rw-r--r--	5401	RList.mma	blob \| history \| raw
-rw-r--r--	3975	R_Ifp.mma	blob \| history \| raw
-rw-r--r--	4395	R_sqr.mma	blob \| history \| raw
-rw-r--r--	4125	R_sqrt.mma	blob \| history \| raw
-rw-r--r--	30023	Ranalysis.mma	blob \| history \| raw
-rw-r--r--	12958	Ranalysis1.mma	blob \| history \| raw
-rw-r--r--	2794	Ranalysis2.mma	blob \| history \| raw
-rw-r--r--	2201	Ranalysis3.mma	blob \| history \| raw
-rw-r--r--	4147	Ranalysis4.mma	blob \| history \| raw
-rw-r--r--	6476	Raxioms.mma	blob \| history \| raw
-rw-r--r--	1819	Rbase.mma	blob \| history \| raw
-rw-r--r--	5625	Rbasic_fun.mma	blob \| history \| raw
-rw-r--r--	2358	Rcomplete.mma	blob \| history \| raw
-rw-r--r--	4000	Rdefinitions.mma	blob \| history \| raw
-rw-r--r--	3266	Rderiv.mma	blob \| history \| raw
-rw-r--r--	2604	Reals.mma	blob \| history \| raw
-rw-r--r--	8805	Rfunctions.mma	blob \| history \| raw
-rw-r--r--	3717	Rgeom.mma	blob \| history \| raw
-rw-r--r--	7080	RiemannInt.mma	blob \| history \| raw
-rw-r--r--	7058	RiemannInt_SF.mma	blob \| history \| raw
-rw-r--r--	4843	Rlimit.mma	blob \| history \| raw
-rw-r--r--	6143	Rpower.mma	blob \| history \| raw
-rw-r--r--	2800	Rprod.mma	blob \| history \| raw
-rw-r--r--	3963	Rseries.mma	blob \| history \| raw
-rw-r--r--	2513	Rsigma.mma	blob \| history \| raw
-rw-r--r--	4247	Rsqrt_def.mma	blob \| history \| raw
-rw-r--r--	8225	Rtopology.mma	blob \| history \| raw
-rw-r--r--	9283	Rtrigo.mma	blob \| history \| raw
-rw-r--r--	2640	Rtrigo_alt.mma	blob \| history \| raw
-rw-r--r--	5594	Rtrigo_calc.mma	blob \| history \| raw
-rw-r--r--	4778	Rtrigo_def.mma	blob \| history \| raw
-rw-r--r--	2483	Rtrigo_fun.mma	blob \| history \| raw
-rw-r--r--	3180	Rtrigo_reg.mma	blob \| history \| raw
-rw-r--r--	5537	SeqProp.mma	blob \| history \| raw
-rw-r--r--	2495	SeqSeries.mma	blob \| history \| raw
-rw-r--r--	2123	SplitAbsolu.mma	blob \| history \| raw
-rw-r--r--	1974	SplitRmult.mma	blob \| history \| raw
-rw-r--r--	2747	Sqrt_reg.mma	blob \| history \| raw