Index of /xml/Nijmegen/QArith/sqrt2

	Name	Last modified	Size	Description
	Parent Directory		-
	mult_lt_subproof.con.body.xml.gz	2004-04-08 18:11	65K
	mult_lt_subproof.con.types.xml.gz	2004-04-08 18:11	52K
	mult_lt.con.body.xml.gz	2004-04-08 18:11	32K
	mult_lt.con.types.xml.gz	2004-04-08 18:11	26K
	new_equality.con.types.xml.gz	2004-04-08 18:11	23K
	square_monotonic.con.body.xml.gz	2004-04-08 18:11	20K
	new_equality.con.body.xml.gz	2004-04-08 18:11	19K
	square_monotonic.con.types.xml.gz	2004-04-08 18:11	16K
	add_sub_square_identity.con.types.xml.gz	2004-04-08 18:11	11K
	add_sub_square_identity.con.body.xml.gz	2004-04-08 18:11	9.3K
	comparison4.con.types.xml.gz	2004-04-08 18:11	5.1K
	comparison4.con.body.xml.gz	2004-04-08 18:11	4.7K
	sqrt2_not_rational.con.types.xml.gz	2004-04-08 18:11	4.6K
	comparison1.con.types.xml.gz	2004-04-08 18:11	4.6K
	comparison1.con.body.xml.gz	2004-04-08 18:11	4.6K
	sqrt2_not_rational.con.body.xml.gz	2004-04-08 18:11	4.2K
	comparison3.con.types.xml.gz	2004-04-08 18:11	3.7K
	square_recompose.con.types.xml.gz	2004-04-08 18:11	3.6K
	comparison3.con.body.xml.gz	2004-04-08 18:11	3.6K
	mult2_recompose.con.types.xml.gz	2004-04-08 18:11	3.6K
	comparison2.con.body.xml.gz	2004-04-08 18:11	3.0K
	square_recompose.con.body.xml.gz	2004-04-08 18:11	2.7K
	comparison2.con.types.xml.gz	2004-04-08 18:11	2.7K
	mult2_recompose.con.body.xml.gz	2004-04-08 18:11	2.7K
	minus_minus.con.types.xml.gz	2004-04-08 18:11	2.2K
	monotonic_inverse.con.body.xml.gz	2004-04-08 18:11	1.8K
	sqrt_q_non_zero.con.body.xml.gz	2004-04-08 18:11	1.4K
	sqrt_q_non_zero.con.types.xml.gz	2004-04-08 18:11	1.4K
	minus_minus.con.body.xml.gz	2004-04-08 18:11	1.4K
	monotonic_inverse.con.types.xml.gz	2004-04-08 18:11	1.4K
	sub_square_identity.con.types.xml.gz	2004-04-08 18:11	1.4K
	mult_minus_distr_l.con.body.xml.gz	2004-04-08 18:11	1.3K
	expand_mult2.con.types.xml.gz	2004-04-08 18:11	1.3K
	mult_minus_distr_l.con.types.xml.gz	2004-04-08 18:11	1.2K
	INDEX	2005-07-05 08:11	1.2K
	sub_square_identity.con.body.xml.gz	2004-04-08 18:11	1.0K
	new_equality.con.xml.gz	2004-04-08 18:11	1.0K
	minus_eq_decompose.con.body.xml.gz	2004-04-08 18:11	960
	mult_lt_subproof.con.xml.gz	2004-04-08 18:11	958
	expand_mult2.con.body.xml.gz	2004-04-08 18:11	840
	minus_eq_decompose.con.types.xml.gz	2004-04-08 18:11	795
	add_sub_square_identity.con.xml.gz	2004-04-08 18:11	762
	sub_square_identity.con.xml.gz	2004-04-08 18:11	704
	lt_neq.con.body.xml.gz	2004-04-08 18:11	701
	lt_neq.con.types.xml.gz	2004-04-08 18:11	688
	monotonic_inverse.con.xml.gz	2004-04-08 18:11	652
	sqrt2_not_rational.con.xml.gz	2004-04-08 18:11	622
	mult2_recompose.con.xml.gz	2004-04-08 18:11	584
	mult_lt.con.xml.gz	2004-04-08 18:11	575
	minus_eq_decompose.con.xml.gz	2004-04-08 18:11	572
	mult_minus_distr_l.con.xml.gz	2004-04-08 18:11	553
	square_recompose.con.xml.gz	2004-04-08 18:11	528
	root_monotonic.con.types.xml.gz	2004-04-08 18:11	518
	minus_minus.con.xml.gz	2004-04-08 18:11	517
	comparison4.con.xml.gz	2004-04-08 18:11	509
	comparison3.con.xml.gz	2004-04-08 18:11	508
	expand_mult2.con.xml.gz	2004-04-08 18:11	494
	square_monotonic.con.xml.gz	2004-04-08 18:11	489
	comparison2.con.xml.gz	2004-04-08 18:11	481
	root_monotonic.con.xml.gz	2004-04-08 18:11	478
	lt_neq.con.xml.gz	2004-04-08 18:11	462
	root_monotonic.con.body.xml.gz	2004-04-08 18:11	446
	sqrt_q_non_zero.con.xml.gz	2004-04-08 18:11	424
	comparison1.con.xml.gz	2004-04-08 18:11	331
	sqrt2_decrease/	2005-07-05 08:13	-