Index of /xml/Nijmegen/QArith/sqrt2

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