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

	Name	Last modified	Size	Description
	Parent Directory		-
	additive_associativity.p	2024-10-04 18:33	185
	additive_commutativity.p	2024-10-04 18:33	153
	additive_idempotence.p	2024-10-04 18:33	131
	additive_identity.p	2024-10-04 18:33	131
	ismeet.p	2024-10-04 18:33	228
	ismeetu.p	2024-10-04 18:33	201
	left_annihilation.p	2024-10-04 18:33	140
	left_distributivity.p	2024-10-04 18:33	212
	multiplicative_associativity.p	2024-10-04 18:33	215
	multiplicative_left_identity.p	2024-10-04 18:33	147
	multiplicative_right_identity.p	2024-10-04 18:33	148
	omega_co_induction.p	2024-10-04 18:33	225
	omega_unfold.p	2024-10-04 18:33	143
	order.p	2024-10-04 18:33	141
	right_annihilation.p	2024-10-04 18:33	141
	right_distributivity.p	2024-10-04 18:33	213
	star_induction_left.p	2024-10-04 18:33	207
	star_induction_right.p	2024-10-04 18:33	208
	star_unfold_left.p	2024-10-04 18:33	162
	star_unfold_right.p	2024-10-04 18:33	163
	test_1.p	2024-10-04 18:33	144
	test_2.p	2024-10-04 18:33	223
	test_3.p	2024-10-04 18:33	162
	test_4.p	2024-10-04 18:33	131
	test_deMorgan1.p	2024-10-04 18:33	197
	test_deMorgan2.p	2024-10-04 18:33	197