Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/MSC014-10/VerificationProblems/iProver-SAT---3.7

	Name	Last modified	Size	Description
	Parent Directory		-
	inject_f_3.p	2024-10-04 18:29	267
	n0_not_n1_1.p	2024-10-04 18:29	132
	inject_f.p	2024-10-04 18:29	265
	n0_not_n1.p	2024-10-04 18:29	130
	goal.p	2024-10-04 18:29	97
	n0_and_n1_reflexive.p	2024-10-04 18:29	128
	ifeq_axiom.p	2024-10-04 18:29	139
	exists_f.p	2024-10-04 18:29	312
	n0_and_n1_reflexive_1.p	2024-10-04 18:29	130
	inject_f_1.p	2024-10-04 18:29	267
	ifeq_axiom_001.p	2024-10-04 18:29	142
	inject_f_2.p	2024-10-04 18:29	267