Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/MSC014-10/VerificationProblems/E-SAT---3.0

	Name	Last modified	Size	Description
	Parent Directory		-
	inject_f_3.p	2024-10-04 18:29	261
	n0_not_n1_1.p	2024-10-04 18:29	126
	inject_f.p	2024-10-04 18:29	259
	n0_not_n1.p	2024-10-04 18:29	124
	goal.p	2024-10-04 18:29	91
	n0_and_n1_reflexive.p	2024-10-04 18:29	122
	ifeq_axiom.p	2024-10-04 18:29	133
	exists_f.p	2024-10-04 18:29	306
	n0_and_n1_reflexive_1.p	2024-10-04 18:29	124
	inject_f_1.p	2024-10-04 18:29	261
	ifeq_axiom_001.p	2024-10-04 18:29	136
	inject_f_2.p	2024-10-04 18:29	261