Index of /ftp/pub/pvs/libraries/nasa/calculus

	Name	Last modified	Size	Description
	Parent Directory		-
	derivative_def_ax.prf	2001-06-04 00:00	170
	restriction_continuous_ax.pvs	2001-05-21 00:00	230
	continuous_functions_ax.prf	2001-05-21 00:00	274
	derivative_play.pvs	2001-06-04 00:00	274
	deriv_sqrt.pvs	2001-05-21 00:00	296
	derivatives_con.prf	2001-06-05 00:00	297
	deriv_sqrt.prf	2001-05-21 00:00	300
	intermediate_value_ax.prf	2001-05-21 00:00	300
	deriv_trig.prf	2001-05-21 00:00	309
	integral.prf	2001-06-18 00:00	363
	deriv_trig.pvs	2001-05-21 00:00	419
	derivative_real.pvs	2001-06-04 00:00	462
	integral.pvs	2001-06-26 00:00	623
	intermediate_value_ax.pvs	2001-06-04 00:00	703
	derivatives_ax.prf	2001-05-21 00:00	850
	real_fun_props_ax.pvs	2001-05-21 00:00	872
	derivative_def_ax.pvs	2001-06-04 00:00	917
	chain_rule_ax.prf	2001-05-21 00:00	925
	derivative_def.pvs	2001-06-04 00:00	946
	newstuff.pvs	2001-06-04 00:00	1.0K
	derivatives_con.pvs	2001-06-05 00:00	1.0K
	orph-prfs	2001-06-05 00:00	1.0K
	chain_rule_ax.pvs	2001-05-21 00:00	1.0K
	calculus_extra.pvs	2001-06-05 00:00	1.3K
	extra_con.pvs	2001-06-05 00:00	1.3K
	orphaned-proofs.prf	2001-06-18 00:00	1.4K
	derivative_props_ax.prf	2001-05-22 00:00	1.5K
	top.pvs	2001-06-04 00:00	2.0K
	derivative_props_ax.pvs	2001-10-03 00:00	2.2K
	pvs-strategies	2001-05-21 00:00	2.5K
	calculus.pvs	2001-05-22 00:00	2.6K
	derivative_real.prf	2001-06-04 00:00	2.7K
	newstuff.prf	2001-06-04 00:00	3.0K
	derivatives_ax.pvs	2001-05-22 00:00	3.0K
	derivative_play.prf	2001-06-04 00:00	3.3K
	continuous_functions_ax.pvs	2001-05-21 00:00	3.5K
	derivative_def.prf	2001-06-04 00:00	9.0K
	calculus.prf	2001-05-22 00:00	16K
	calculus_extra.prf	2001-06-05 00:00	33K