Index of /xml/Coq/Init/Wf

	Name	Last modified	Size	Description
	Parent Directory		-
	Fix_F_inv.con.types.xml.gz	2004-04-08 01:27	2.9K
	Fix_F_eq.con.proof_tree.xml.gz	2004-04-09 18:52	2.7K
	Fix_eq.con.proof_tree.xml.gz	2004-04-09 18:52	2.5K
	Fix_F_inv.con.body.xml.gz	2004-04-08 01:27	2.5K
	Fix_eq.con.types.xml.gz	2004-04-08 01:27	2.3K
	Fix_F_eq.con.types.xml.gz	2004-04-08 01:27	2.2K
	well_founded_induction_type_2.con.proof_tree.xml.gz	2004-04-09 18:52	1.7K
	well_founded_induction_type.con.proof_tree.xml.gz	2004-04-09 18:52	1.6K
	Acc_inv_dep.con.types.xml.gz	2004-04-08 01:27	1.5K
	Acc_inv_dep.con.body.xml.gz	2004-04-08 01:27	1.4K
	Fix_F_eq.con.body.xml.gz	2004-04-08 01:27	1.4K
	well_founded_ind.con.proof_tree.xml.gz	2004-04-09 18:52	1.4K
	well_founded_induction.con.proof_tree.xml.gz	2004-04-09 18:52	1.4K
	Fix_eq.con.body.xml.gz	2004-04-08 01:27	1.3K
	Acc_iter_2.con.body.xml.gz	2004-04-08 01:27	1.3K
	Acc_ind.con.body.xml.gz	2004-04-08 01:27	1.3K
	Acc_inv.con.proof_tree.xml.gz	2004-04-09 18:52	1.1K
	Acc_ind.con.types.xml.gz	2004-04-08 01:27	1.1K
	INDEX	2005-07-05 08:10	943
	well_founded_induction_type_2.con.body.xml.gz	2004-04-08 01:27	862
	Acc_inv_dep.con.xml.gz	2004-04-08 01:27	859
	Fix_F_inv.con.proof_tree.xml.gz	2004-04-09 18:52	835
	Acc_rect.con.body.xml.gz	2004-04-08 01:27	813
	well_founded_induction_type_2.con.types.xml.gz	2004-04-08 01:27	778
	Fix_F.con.body.xml.gz	2004-04-08 01:27	771
	Acc_iter.con.body.xml.gz	2004-04-08 01:27	768
	well_founded_induction_type_2.con.xml.gz	2004-04-08 01:27	760
	Acc_inv.con.body.xml.gz	2004-04-08 01:27	740
	Acc_rec.con.body.xml.gz	2004-04-08 01:27	735
	well_founded_ind.con.types.xml.gz	2004-04-08 01:27	732
	well_founded_induction_type.con.body.xml.gz	2004-04-08 01:27	726
	Acc_inv.con.types.xml.gz	2004-04-08 01:27	702
	Fix_F_eq.con.xml.gz	2004-04-08 01:27	701
	Acc_rec.con.xml.gz	2004-04-08 01:27	689
	Acc_ind.con.xml.gz	2004-04-08 01:27	685
	Acc_iter_2.con.xml.gz	2004-04-08 01:27	609
	well_founded_induction_type.con.xml.gz	2004-04-08 01:27	597
	Fix_eq.con.xml.gz	2004-04-08 01:27	595
	well_founded_induction.con.xml.gz	2004-04-08 01:27	589
	well_founded_ind.con.xml.gz	2004-04-08 01:27	582
	Acc.ind.xml.gz	2004-04-08 01:27	560
	Fix_F_inv.con.xml.gz	2004-04-08 01:27	557
	Acc_iter_2.con.types.xml.gz	2004-04-08 01:27	502
	well_founded_induction_type.con.types.xml.gz	2004-04-08 01:27	485
	Acc_rect.con.types.xml.gz	2004-04-08 01:27	475
	Acc_inv.con.xml.gz	2004-04-08 01:27	454
	Fix.con.types.xml.gz	2004-04-08 01:27	451
	well_founded_induction.con.body.xml.gz	2004-04-08 01:27	436
	well_founded_ind.con.body.xml.gz	2004-04-08 01:27	435
	Acc_iter.con.xml.gz	2004-04-08 01:27	417
	Acc_rect.con.xml.gz	2004-04-08 01:27	416
	Fix_F.con.xml.gz	2004-04-08 01:27	414
	Fix.con.body.xml.gz	2004-04-08 01:27	413
	well_founded.con.body.xml.gz	2004-04-08 01:27	382
	Fix.con.xml.gz	2004-04-08 01:27	364
	Acc_iter.con.types.xml.gz	2004-04-08 01:27	315
	Fix_F.con.types.xml.gz	2004-04-08 01:27	314
	well_founded.con.xml.gz	2004-04-08 01:27	245
	well_founded_induction.con.types.xml.gz	2004-04-08 01:27	218
	well_founded.con.types.xml.gz	2004-04-08 01:27	200
	Acc_rec.con.types.xml.gz	2004-04-08 01:27	192
	Acc.ind.types.xml.gz	2004-04-08 01:27	184
	Well_founded_2/	2005-07-05 08:12	-
	Well_founded/	2005-07-05 08:12	-