Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/BOO008-3/VerificationProblems/iProver-SAT---3.7

	Name	Last modified	Size	Description
	Parent Directory		-
	additive_identity1.p	2024-10-04 18:30	138
	additive_identity2.p	2024-10-04 18:30	138
	additive_inverse1.p	2024-10-04 18:30	152
	additive_inverse2.p	2024-10-04 18:30	152
	closure_of_addition.p	2024-10-04 18:30	138
	closure_of_multiplication.p	2024-10-04 18:30	153
	commutativity_of_addition.p	2024-10-04 18:30	164
	commutativity_of_multiplication.p	2024-10-04 18:30	178
	distributivity1.p	2024-10-04 18:30	255
	distributivity2.p	2024-10-04 18:30	255
	distributivity5.p	2024-10-04 18:30	251
	distributivity6.p	2024-10-04 18:30	251
	multiplicative_identity1.p	2024-10-04 18:30	150
	multiplicative_identity2.p	2024-10-04 18:30	150
	multiplicative_inverse1.p	2024-10-04 18:30	156
	multiplicative_inverse2.p	2024-10-04 18:30	156
	prove_equality.p	2024-10-04 18:30	136
	x_plus__y_plus_z.p	2024-10-04 18:30	134
	x_plus_y.p	2024-10-04 18:30	111
	x_plus_y__plus_z.p	2024-10-04 18:30	134
	y_plus_z.p	2024-10-04 18:30	111