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

	Name	Last modified	Size	Description
	Parent Directory		-
	test_1.p	2024-10-04 18:27	144
	test_deMorgan2.p	2024-10-04 18:27	197
	order.p	2024-10-04 18:27	141
	ismeetu.p	2024-10-04 18:27	201
	multiplicative_left_identity.p	2024-10-04 18:27	147
	multiplicative_right_identity.p	2024-10-04 18:27	148
	test_2.p	2024-10-04 18:27	223
	additive_idempotence.p	2024-10-04 18:27	131
	multiplicative_associativity.p	2024-10-04 18:27	215
	test_3.p	2024-10-04 18:27	162
	ismeet.p	2024-10-04 18:27	228
	test_deMorgan1.p	2024-10-04 18:27	197
	left_annihilation.p	2024-10-04 18:27	140
	additive_associativity.p	2024-10-04 18:27	185
	additive_identity.p	2024-10-04 18:27	131
	right_distributivity.p	2024-10-04 18:27	213
	right_annihilation.p	2024-10-04 18:27	141
	test_4.p	2024-10-04 18:27	131
	additive_commutativity.p	2024-10-04 18:27	153
	left_distributivity.p	2024-10-04 18:27	212