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

	Name	Last modified	Size	Description
	Parent Directory		-
	adding_zero.p	2024-10-04 18:29	126
	addition.p	2024-10-04 18:29	159
	less_lemma.p	2024-10-04 18:29	193
	smaller_number.p	2024-10-04 18:29	173
	successor_equality1.p	2024-10-04 18:29	178
	successor_substitution.p	2024-10-04 18:29	181
	times.p	2024-10-04 18:29	162
	times_zero.p	2024-10-04 18:29	131
	transitivity_of_less.p	2024-10-04 18:29	171