Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/MSC013+1/VerificationProblems/E-SAT---3.0.CSA-Sat.s

	Name	Last modified	Size	Description
	Parent Directory		-
	goal_to_be_proved.p	2024-10-04 18:28	114
	n0_and_n1_reflexive.p	2024-10-04 18:28	142
	n0_equal_n1.p	2024-10-04 18:28	124
	n1_equal_n0.p	2024-10-04 18:28	124
	relation_exists.p	2024-10-04 18:28	256
	relation_injective.p	2024-10-04 18:28	320