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

drwxr-xr-x		..
-rw-r--r--	2806	Alembert.mma	blob \| history \| raw
-rw-r--r--	3846	AltSeries.mma	blob \| history \| raw
-rw-r--r--	2537	ArithProp.mma	blob \| history \| raw
-rw-r--r--	2305	Binomial.mma	blob \| history \| raw
-rw-r--r--	2131	Cauchy_prod.mma	blob \| history \| raw
-rw-r--r--	2523	Cos_plus.mma	blob \| history \| raw
-rw-r--r--	2703	Cos_rel.mma	blob \| history \| raw
-rw-r--r--	3962	DiscrR.mma	blob \| history \| raw
-rw-r--r--	3384	Exp_prop.mma	blob \| history \| raw
-rw-r--r--	1793	Integration.mma	blob \| history \| raw
-rw-r--r--	3858	MVT.mma	blob \| history \| raw
-rw-r--r--	3776	NewtonInt.mma	blob \| history \| raw
-rw-r--r--	3094	PSeries_reg.mma	blob \| history \| raw
-rw-r--r--	4250	PartSum.mma	blob \| history \| raw
-rw-r--r--	28287	RIneq.mma	blob \| history \| raw
-rw-r--r--	5388	RList.mma	blob \| history \| raw
-rw-r--r--	3962	R_Ifp.mma	blob \| history \| raw
-rw-r--r--	4384	R_sqr.mma	blob \| history \| raw
-rw-r--r--	4114	R_sqrt.mma	blob \| history \| raw
-rw-r--r--	30012	Ranalysis.mma	blob \| history \| raw
-rw-r--r--	12945	Ranalysis1.mma	blob \| history \| raw
-rw-r--r--	2781	Ranalysis2.mma	blob \| history \| raw
-rw-r--r--	2190	Ranalysis3.mma	blob \| history \| raw
-rw-r--r--	4136	Ranalysis4.mma	blob \| history \| raw
-rw-r--r--	6465	Raxioms.mma	blob \| history \| raw
-rw-r--r--	1808	Rbase.mma	blob \| history \| raw
-rw-r--r--	5614	Rbasic_fun.mma	blob \| history \| raw
-rw-r--r--	2345	Rcomplete.mma	blob \| history \| raw
-rw-r--r--	3989	Rdefinitions.mma	blob \| history \| raw
-rw-r--r--	3255	Rderiv.mma	blob \| history \| raw
-rw-r--r--	2593	Reals.mma	blob \| history \| raw
-rw-r--r--	8793	Rfunctions.mma	blob \| history \| raw
-rw-r--r--	3706	Rgeom.mma	blob \| history \| raw
-rw-r--r--	7067	RiemannInt.mma	blob \| history \| raw
-rw-r--r--	7045	RiemannInt_SF.mma	blob \| history \| raw
-rw-r--r--	4830	Rlimit.mma	blob \| history \| raw
-rw-r--r--	6130	Rpower.mma	blob \| history \| raw
-rw-r--r--	2789	Rprod.mma	blob \| history \| raw
-rw-r--r--	3950	Rseries.mma	blob \| history \| raw
-rw-r--r--	2502	Rsigma.mma	blob \| history \| raw
-rw-r--r--	4234	Rsqrt_def.mma	blob \| history \| raw
-rw-r--r--	8212	Rtopology.mma	blob \| history \| raw
-rw-r--r--	9270	Rtrigo.mma	blob \| history \| raw
-rw-r--r--	2627	Rtrigo_alt.mma	blob \| history \| raw
-rw-r--r--	5583	Rtrigo_calc.mma	blob \| history \| raw
-rw-r--r--	4765	Rtrigo_def.mma	blob \| history \| raw
-rw-r--r--	2472	Rtrigo_fun.mma	blob \| history \| raw
-rw-r--r--	3167	Rtrigo_reg.mma	blob \| history \| raw
-rw-r--r--	5524	SeqProp.mma	blob \| history \| raw
-rw-r--r--	2482	SeqSeries.mma	blob \| history \| raw
-rw-r--r--	2112	SplitAbsolu.mma	blob \| history \| raw
-rw-r--r--	1963	SplitRmult.mma	blob \| history \| raw
-rw-r--r--	2734	Sqrt_reg.mma	blob \| history \| raw