Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/NUM286-2/VerificationProblems/iProver-SAT---3.7

	Name	Last modified	Size	Description
	Parent Directory		-
	reflexivity.p	2024-10-04 18:27	118
	commutativity_of_addition.p	2024-10-04 18:27	154
	addition_inverts_subtraction1.p	2024-10-04 18:27	163
	addition_inverts_subtraction2.p	2024-10-04 18:27	163
	commutativity1.p	2024-10-04 18:27	175
	commutativity2.p	2024-10-04 18:27	175
	transitivity.p	2024-10-04 18:27	175
	associativity_of_addition.p	2024-10-04 18:27	176
	add_substitution1.p	2024-10-04 18:27	202
	add_substitution2.p	2024-10-04 18:27	202
	subtract_substitution1.p	2024-10-04 18:27	217
	subtract_substitution2.p	2024-10-04 18:27	217