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

	Name	Last modified	Size	Description
	Parent Directory		-
	addition_is_well_defined.p	2024-10-04 18:28	181
	additive_identity1.p	2024-10-04 18:28	138
	additive_identity2.p	2024-10-04 18:28	138
	additive_inverse1.p	2024-10-04 18:28	152
	additive_inverse2.p	2024-10-04 18:28	152
	closure_of_addition.p	2024-10-04 18:28	138
	closure_of_multiplication.p	2024-10-04 18:28	153
	commutativity_of_addition.p	2024-10-04 18:28	164
	commutativity_of_multiplication.p	2024-10-04 18:28	178
	distributivity1.p	2024-10-04 18:28	255
	distributivity2.p	2024-10-04 18:28	255
	distributivity3.p	2024-10-04 18:28	255
	distributivity4.p	2024-10-04 18:28	255
	distributivity5.p	2024-10-04 18:28	251
	distributivity6.p	2024-10-04 18:28	251
	distributivity7.p	2024-10-04 18:28	251
	distributivity8.p	2024-10-04 18:28	251
	multiplication_is_well_defined.p	2024-10-04 18:28	195
	multiplicative_identity1.p	2024-10-04 18:28	154
	multiplicative_identity2.p	2024-10-04 18:28	154
	multiplicative_inverse1.p	2024-10-04 18:28	156
	multiplicative_inverse2.p	2024-10-04 18:28	156