Index of /xml/Sophia-Antipolis/Float/Fcomp

	Name	Last modified	Size	Description
	Parent Directory		-
	Fcompare.con.body.xml.gz	2004-04-09 00:24	466
	Fcompare.con.types.xml.gz	2004-04-09 00:24	204
	Fcompare.con.xml.gz	2004-04-09 00:24	332
	Fdiff.con.body.xml.gz	2004-04-09 00:24	756
	Fdiff.con.types.xml.gz	2004-04-09 00:24	200
	Fdiff.con.xml.gz	2004-04-09 00:24	332
	Fdiff_correct.con.body.xml.gz	2004-04-09 00:24	21K
	Fdiff_correct.con.types.xml.gz	2004-04-09 00:24	20K
	Fdiff_correct.con.xml.gz	2004-04-09 00:24	729
	Fdiff_correct_subproof.con.body.xml.gz	2004-04-09 00:24	2.6K
	Fdiff_correct_subproof.con.types.xml.gz	2004-04-09 00:24	2.5K
	Fdiff_correct_subproof.con.xml.gz	2004-04-09 00:24	488
	Fdiff_correct_subproof0.con.body.xml.gz	2004-04-09 00:24	2.6K
	Fdiff_correct_subproof0.con.types.xml.gz	2004-04-09 00:24	2.5K
	Fdiff_correct_subproof0.con.xml.gz	2004-04-09 00:24	489
	Feq.con.body.xml.gz	2004-04-09 00:24	490
	Feq.con.types.xml.gz	2004-04-09 00:24	196
	Feq.con.xml.gz	2004-04-09 00:24	336
	Feq_bool.con.body.xml.gz	2004-04-09 00:24	573
	Feq_bool.con.types.xml.gz	2004-04-09 00:24	206
	Feq_bool.con.xml.gz	2004-04-09 00:24	336
	Feq_bool_correct_f.con.body.xml.gz	2004-04-09 00:24	1.3K
	Feq_bool_correct_f.con.types.xml.gz	2004-04-09 00:24	1.1K
	Feq_bool_correct_f.con.xml.gz	2004-04-09 00:24	581
	Feq_bool_correct_r.con.body.xml.gz	2004-04-09 00:24	4.0K
	Feq_bool_correct_r.con.types.xml.gz	2004-04-09 00:24	4.2K
	Feq_bool_correct_r.con.xml.gz	2004-04-09 00:24	571
	Feq_bool_correct_r_subproof.con.body.xml.gz	2004-04-09 00:24	3.0K
	Feq_bool_correct_r_subproof.con.types.xml.gz	2004-04-09 00:24	2.8K
	Feq_bool_correct_r_subproof.con.xml.gz	2004-04-09 00:24	858
	Feq_bool_correct_r_subproof0.con.body.xml.gz	2004-04-09 00:24	3.0K
	Feq_bool_correct_r_subproof0.con.types.xml.gz	2004-04-09 00:24	2.8K
	Feq_bool_correct_r_subproof0.con.xml.gz	2004-04-09 00:24	860
	Feq_bool_correct_t.con.body.xml.gz	2004-04-09 00:24	4.0K
	Feq_bool_correct_t.con.types.xml.gz	2004-04-09 00:24	4.4K
	Feq_bool_correct_t.con.xml.gz	2004-04-09 00:24	572
	Fge.con.body.xml.gz	2004-04-09 00:24	472
	Fge.con.types.xml.gz	2004-04-09 00:24	196
	Fge.con.xml.gz	2004-04-09 00:24	335
	Fge_Zge.con.body.xml.gz	2004-04-09 00:24	680
	Fge_Zge.con.types.xml.gz	2004-04-09 00:24	730
	Fge_Zge.con.xml.gz	2004-04-09 00:24	571
	Fgt.con.body.xml.gz	2004-04-09 00:24	472
	Fgt.con.types.xml.gz	2004-04-09 00:24	196
	Fgt.con.xml.gz	2004-04-09 00:24	335
	Fgt_Zgt.con.body.xml.gz	2004-04-09 00:24	679
	Fgt_Zgt.con.types.xml.gz	2004-04-09 00:24	729
	Fgt_Zgt.con.xml.gz	2004-04-09 00:24	571
	Fle.con.body.xml.gz	2004-04-09 00:24	471
	Fle.con.types.xml.gz	2004-04-09 00:24	196
	Fle.con.xml.gz	2004-04-09 00:24	334
	Fle_Fge.con.body.xml.gz	2004-04-09 00:24	575
	Fle_Fge.con.types.xml.gz	2004-04-09 00:24	750
	Fle_Fge.con.xml.gz	2004-04-09 00:24	460
	Fle_Zle.con.body.xml.gz	2004-04-09 00:24	2.1K
	Fle_Zle.con.types.xml.gz	2004-04-09 00:24	2.3K
	Fle_Zle.con.xml.gz	2004-04-09 00:24	577
	Fle_bool.con.body.xml.gz	2004-04-09 00:24	574
	Fle_bool.con.types.xml.gz	2004-04-09 00:24	206
	Fle_bool.con.xml.gz	2004-04-09 00:24	335
	Fle_bool_correct_f.con.body.xml.gz	2004-04-09 00:24	3.0K
	Fle_bool_correct_f.con.types.xml.gz	2004-04-09 00:24	2.6K
	Fle_bool_correct_f.con.xml.gz	2004-04-09 00:24	565
	Fle_bool_correct_r.con.body.xml.gz	2004-04-09 00:24	3.0K
	Fle_bool_correct_r.con.types.xml.gz	2004-04-09 00:24	6.0K
	Fle_bool_correct_r.con.xml.gz	2004-04-09 00:24	569
	Fle_bool_correct_t.con.body.xml.gz	2004-04-09 00:24	2.7K
	Fle_bool_correct_t.con.types.xml.gz	2004-04-09 00:24	7.3K
	Fle_bool_correct_t.con.xml.gz	2004-04-09 00:24	574
	Fle_refl.con.body.xml.gz	2004-04-09 00:24	869
	Fle_refl.con.types.xml.gz	2004-04-09 00:24	913
	Fle_refl.con.xml.gz	2004-04-09 00:24	461
	Fle_trans.con.body.xml.gz	2004-04-09 00:24	734
	Fle_trans.con.types.xml.gz	2004-04-09 00:24	1.2K
	Fle_trans.con.xml.gz	2004-04-09 00:24	505
	Flt.con.body.xml.gz	2004-04-09 00:24	471
	Flt.con.types.xml.gz	2004-04-09 00:24	196
	Flt.con.xml.gz	2004-04-09 00:24	334
	Flt_Fgt.con.body.xml.gz	2004-04-09 00:24	516
	Flt_Fgt.con.types.xml.gz	2004-04-09 00:24	748
	Flt_Fgt.con.xml.gz	2004-04-09 00:24	459
	Flt_Zlt.con.body.xml.gz	2004-04-09 00:24	781
	Flt_Zlt.con.types.xml.gz	2004-04-09 00:24	1.0K
	Flt_Zlt.con.xml.gz	2004-04-09 00:24	572
	Flt_bool.con.body.xml.gz	2004-04-09 00:24	572
	Flt_bool.con.types.xml.gz	2004-04-09 00:24	206
	Flt_bool.con.xml.gz	2004-04-09 00:24	335
	Flt_bool_correct_f.con.body.xml.gz	2004-04-09 00:24	2.5K
	Flt_bool_correct_f.con.types.xml.gz	2004-04-09 00:24	2.1K
	Flt_bool_correct_f.con.xml.gz	2004-04-09 00:24	566
	Flt_bool_correct_r.con.body.xml.gz	2004-04-09 00:24	4.3K
	Flt_bool_correct_r.con.types.xml.gz	2004-04-09 00:24	9.3K
	Flt_bool_correct_r.con.xml.gz	2004-04-09 00:24	567
	Flt_bool_correct_t.con.body.xml.gz	2004-04-09 00:24	5.1K
	Flt_bool_correct_t.con.types.xml.gz	2004-04-09 00:24	5.1K
	Flt_bool_correct_t.con.xml.gz	2004-04-09 00:24	574
	INDEX	2005-07-05 08:12	2.1K
	LeFnumZERO.con.body.xml.gz	2004-04-09 00:24	1.5K
	LeFnumZERO.con.types.xml.gz	2004-04-09 00:24	1.6K
	LeFnumZERO.con.xml.gz	2004-04-09 00:24	553
	LeR0Fnum.con.body.xml.gz	2004-04-09 00:24	1.2K
	LeR0Fnum.con.types.xml.gz	2004-04-09 00:24	1.2K
	LeR0Fnum.con.xml.gz	2004-04-09 00:24	540
	LeZEROFnum.con.body.xml.gz	2004-04-09 00:24	2.4K
	LeZEROFnum.con.types.xml.gz	2004-04-09 00:24	2.2K
	LeZEROFnum.con.xml.gz	2004-04-09 00:24	549
	LtR0Fnum.con.body.xml.gz	2004-04-09 00:24	1.2K
	LtR0Fnum.con.types.xml.gz	2004-04-09 00:24	1.2K
	LtR0Fnum.con.xml.gz	2004-04-09 00:24	540
	R0LeFnum.con.body.xml.gz	2004-04-09 00:24	1.2K
	R0LeFnum.con.types.xml.gz	2004-04-09 00:24	1.2K
	R0LeFnum.con.xml.gz	2004-04-09 00:24	539
	R0LtFnum.con.body.xml.gz	2004-04-09 00:24	1.2K
	R0LtFnum.con.types.xml.gz	2004-04-09 00:24	1.2K
	R0LtFnum.con.xml.gz	2004-04-09 00:24	539
	Rle_Fexp_eq_Zle.con.body.xml.gz	2004-04-09 00:24	1.2K
	Rle_Fexp_eq_Zle.con.types.xml.gz	2004-04-09 00:24	1.3K
	Rle_Fexp_eq_Zle.con.xml.gz	2004-04-09 00:24	661
	Rlt_Fexp_eq_Zlt.con.body.xml.gz	2004-04-09 00:24	1.2K
	Rlt_Fexp_eq_Zlt.con.types.xml.gz	2004-04-09 00:24	1.3K
	Rlt_Fexp_eq_Zlt.con.xml.gz	2004-04-09 00:24	661
	comparisons/	2005-07-05 08:13	-