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

	Name	Last modified	Size	Description
	Parent Directory		-
	B.var.types.xml.gz	2006-03-28 19:04	218
	B.var.xml.gz	2006-03-28 19:04	244
	IH_nexts.var.types.xml.gz	2006-03-28 19:04	232
	IH_nexts.var.xml.gz	2006-03-28 19:04	477
	IH_zero.var.types.xml.gz	2006-03-28 19:04	229
	IH_zero.var.xml.gz	2006-03-28 19:04	308
	P.var.types.xml.gz	2006-03-28 19:04	218
	P.var.xml.gz	2006-03-28 19:04	302
	S.var.types.xml.gz	2006-03-28 19:04	218
	S.var.xml.gz	2006-03-28 19:04	332
	naturals_inductionA1/	2006-03-28 19:04	-
	p.var.types.xml.gz	2006-03-28 19:04	217
	p.var.xml.gz	2006-03-28 19:04	313
	step1.var.types.xml.gz	2006-03-28 19:04	402
	step1.var.xml.gz	2006-03-28 19:04	416
	step2.var.types.xml.gz	2006-03-28 19:04	400
	step2.var.xml.gz	2006-03-28 19:04	375
	step3.var.types.xml.gz	2006-03-28 19:04	575
	step3.var.xml.gz	2006-03-28 19:04	578
	step4.var.types.xml.gz	2006-03-28 19:04	692
	step4.var.xml.gz	2006-03-28 19:04	653
	step5.var.types.xml.gz	2006-03-28 19:04	588
	step5.var.xml.gz	2006-03-28 19:04	652
	step6.var.types.xml.gz	2006-03-28 19:04	525
	step6.var.xml.gz	2006-03-28 19:04	650
	step7.var.types.xml.gz	2006-03-28 19:04	341
	step7.var.xml.gz	2006-03-28 19:04	436
	step8.var.types.xml.gz	2006-03-28 19:04	335
	step8.var.xml.gz	2006-03-28 19:04	370
	step9.var.types.xml.gz	2006-03-28 19:04	541
	step9.var.xml.gz	2006-03-28 19:04	418