Index of /xml/Sophia-Antipolis/Functions_in_ZFC/Functions_in_ZFC/naturals_main_induction_step

	Name	Last modified	Size	Description
	Parent Directory		-
	A.var.types.xml.gz	2006-03-28 19:04	220
	A.var.xml.gz	2006-03-28 19:04	244
	N.var.types.xml.gz	2006-03-28 19:04	221
	N.var.xml.gz	2006-03-28 19:04	323
	h.var.types.xml.gz	2006-03-28 19:04	220
	h.var.xml.gz	2006-03-28 19:04	308
	h1.var.types.xml.gz	2006-03-28 19:04	333
	h1.var.xml.gz	2006-03-28 19:04	364
	h2.var.types.xml.gz	2006-03-28 19:04	330
	h2.var.xml.gz	2006-03-28 19:04	361
	in_A_N.var.types.xml.gz	2006-03-28 19:04	390
	in_A_N.var.xml.gz	2006-03-28 19:04	380
	naturals_main_induction2/	2006-03-28 19:04	-
	naturals_main_induction3/	2006-03-28 19:04	-
	sub_A_N.var.types.xml.gz	2006-03-28 19:04	394
	sub_A_N.var.xml.gz	2006-03-28 19:04	383
	sublemma1.var.types.xml.gz	2006-03-28 19:04	439
	sublemma1.var.xml.gz	2006-03-28 19:04	525
	sublemma3.var.types.xml.gz	2006-03-28 19:04	524
	sublemma3.var.xml.gz	2006-03-28 19:04	589