Index of /xml/Coq/Reals/Rgeom

	Name	Last modified	Size	Description
	Parent Directory		-
	INDEX	2005-07-05 08:11	879
	dist_euc.con.body.xml.gz	2004-04-08 01:44	520
	dist_euc.con.types.xml.gz	2004-04-08 01:44	197
	dist_euc.con.xml.gz	2004-04-08 01:44	311
	distance_refl.con.body.xml.gz	2004-04-08 01:44	3.8K
	distance_refl.con.proof_tree.xml.gz	2004-04-09 18:52	3.2K
	distance_refl.con.types.xml.gz	2004-04-08 01:44	4.4K
	distance_refl.con.xml.gz	2004-04-08 01:44	455
	distance_symm.con.body.xml.gz	2004-04-08 01:44	7.0K
	distance_symm.con.proof_tree.xml.gz	2004-04-09 18:52	5.0K
	distance_symm.con.types.xml.gz	2004-04-08 01:44	9.3K
	distance_symm.con.xml.gz	2004-04-08 01:44	519
	isometric_rot_trans.con.body.xml.gz	2004-04-08 01:44	1.4K
	isometric_rot_trans.con.proof_tree.xml.gz	2004-04-09 18:52	2.9K
	isometric_rot_trans.con.types.xml.gz	2004-04-08 01:44	2.2K
	isometric_rot_trans.con.xml.gz	2004-04-08 01:44	952
	isometric_rotation.con.body.xml.gz	2004-04-08 01:44	3.5K
	isometric_rotation.con.proof_tree.xml.gz	2004-04-09 18:52	6.9K
	isometric_rotation.con.types.xml.gz	2004-04-08 01:44	4.2K
	isometric_rotation.con.xml.gz	2004-04-08 01:44	645
	isometric_rotation_0.con.body.xml.gz	2004-04-08 01:44	32K
	isometric_rotation_0.con.proof_tree.xml.gz	2004-04-09 18:52	9.5K
	isometric_rotation_0.con.types.xml.gz	2004-04-08 01:44	42K
	isometric_rotation_0.con.xml.gz	2004-04-08 01:44	769
	isometric_trans_rot.con.body.xml.gz	2004-04-08 01:44	1.4K
	isometric_trans_rot.con.proof_tree.xml.gz	2004-04-09 18:52	2.7K
	isometric_trans_rot.con.types.xml.gz	2004-04-08 01:44	1.8K
	isometric_trans_rot.con.xml.gz	2004-04-08 01:44	881
	isometric_translation.con.body.xml.gz	2004-04-08 01:44	6.1K
	isometric_translation.con.proof_tree.xml.gz	2004-04-09 18:52	2.1K
	isometric_translation.con.types.xml.gz	2004-04-08 01:44	9.2K
	isometric_translation.con.xml.gz	2004-04-08 01:44	762
	law_cosines.con.body.xml.gz	2004-04-08 01:44	11K
	law_cosines.con.proof_tree.xml.gz	2004-04-09 18:52	11K
	law_cosines.con.types.xml.gz	2004-04-08 01:44	17K
	law_cosines.con.xml.gz	2004-04-08 01:44	1.2K
	rotation_0.con.body.xml.gz	2004-04-08 01:44	3.3K
	rotation_0.con.proof_tree.xml.gz	2004-04-09 18:52	2.2K
	rotation_0.con.types.xml.gz	2004-04-08 01:44	4.0K
	rotation_0.con.xml.gz	2004-04-08 01:44	520
	rotation_PI2.con.body.xml.gz	2004-04-08 01:44	3.7K
	rotation_PI2.con.proof_tree.xml.gz	2004-04-09 18:52	3.1K
	rotation_PI2.con.types.xml.gz	2004-04-08 01:44	4.8K
	rotation_PI2.con.xml.gz	2004-04-08 01:44	639
	translation_0.con.body.xml.gz	2004-04-08 01:44	1.7K
	translation_0.con.proof_tree.xml.gz	2004-04-09 18:52	1.4K
	translation_0.con.types.xml.gz	2004-04-08 01:44	2.3K
	translation_0.con.xml.gz	2004-04-08 01:44	519
	triangle.con.body.xml.gz	2004-04-08 01:44	38K
	triangle.con.proof_tree.xml.gz	2004-04-09 18:52	22K
	triangle.con.types.xml.gz	2004-04-08 01:44	50K
	triangle.con.xml.gz	2004-04-08 01:44	580
	xr.con.body.xml.gz	2004-04-08 01:44	472
	xr.con.types.xml.gz	2004-04-08 01:44	186
	xr.con.xml.gz	2004-04-08 01:44	292
	xt.con.body.xml.gz	2004-04-08 01:44	370
	xt.con.types.xml.gz	2004-04-08 01:44	186
	xt.con.xml.gz	2004-04-08 01:44	285
	yr.con.body.xml.gz	2004-04-08 01:44	486
	yr.con.types.xml.gz	2004-04-08 01:44	186
	yr.con.xml.gz	2004-04-08 01:44	291
	yt.con.body.xml.gz	2004-04-08 01:44	369
	yt.con.types.xml.gz	2004-04-08 01:44	186
	yt.con.xml.gz	2004-04-08 01:44	285