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

	Name	Last modified	Size	Description
	Parent Directory		-
	additive_associativity.p	2024-10-04 18:23	185
	additive_commutativity.p	2024-10-04 18:23	153
	additive_identity.p	2024-10-04 18:23	131
	distributivity1.p	2024-10-04 18:23	208
	distributivity2.p	2024-10-04 18:23	208
	idempotence.p	2024-10-04 18:23	122
	infty_coinduction.p	2024-10-04 18:23	217
	infty_unfold1.p	2024-10-04 18:23	180
	isolation.p	2024-10-04 18:23	183
	left_annihilation.p	2024-10-04 18:23	140
	multiplicative_associativity.p	2024-10-04 18:23	215
	multiplicative_left_identity.p	2024-10-04 18:23	147
	multiplicative_right_identity.p	2024-10-04 18:23	148
	order.p	2024-10-04 18:23	141
	star_induction1.p	2024-10-04 18:23	203
	star_induction2.p	2024-10-04 18:23	203
	star_unfold1.p	2024-10-04 18:23	155
	star_unfold2.p	2024-10-04 18:23	155