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

	Name	Last modified	Size	Description
	Parent Directory		-
	star_unfold_right.p	2024-10-04 18:23	163
	star_unfold_left.p	2024-10-04 18:23	162
	star_induction_right.p	2024-10-04 18:23	208
	star_induction_left.p	2024-10-04 18:23	207
	right_distributivity.p	2024-10-04 18:23	213
	right_annihilation.p	2024-10-04 18:23	141
	order.p	2024-10-04 18:23	141
	omega_unfold.p	2024-10-04 18:23	143
	omega_co_induction.p	2024-10-04 18:23	225
	multiplicative_right_identity.p	2024-10-04 18:23	148
	multiplicative_left_identity.p	2024-10-04 18:23	147
	multiplicative_associativity.p	2024-10-04 18:23	215
	left_distributivity.p	2024-10-04 18:23	212
	left_annihilation.p	2024-10-04 18:23	140
	domain5.p	2024-10-04 18:23	168
	domain4.p	2024-10-04 18:23	112
	domain3.p	2024-10-04 18:23	132
	domain2.p	2024-10-04 18:23	180
	domain1.p	2024-10-04 18:23	176
	additive_identity.p	2024-10-04 18:23	131
	additive_idempotence.p	2024-10-04 18:23	131
	additive_commutativity.p	2024-10-04 18:23	153
	additive_associativity.p	2024-10-04 18:23	185