Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/ANA006-1/VerificationProblems/iProver-SAT---3.7

	Name	Last modified	Size	Description
	Parent Directory		-
	axiom_2_1.p	2024-10-04 18:28	181
	axiom_5.p	2024-10-04 18:28	150
	c_17.p	2024-10-04 18:28	198
	reflexivity_of_less_than.p	2024-10-04 18:28	134
	left_identity.p	2024-10-04 18:28	120
	axiom_3.p	2024-10-04 18:28	196
	axiom_7.p	2024-10-04 18:28	149
	transitivity_of_less_than.p	2024-10-04 18:28	191
	right_identity.p	2024-10-04 18:28	121
	axiom_8.p	2024-10-04 18:28	149
	axiom_6_2.p	2024-10-04 18:28	151
	axiom_2_2.p	2024-10-04 18:28	180
	axiom_6_1.p	2024-10-04 18:28	130
	axiom_2_3.p	2024-10-04 18:28	180