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

	Name	Last modified	Size	Description
	Parent Directory		-
	additive_idempotence.p	2024-10-04 18:27	131
	additive_identity.p	2024-10-04 18:27	131
	complement.p	2024-10-04 18:27	135
	left_annihilation.p	2024-10-04 18:27	140
	domain4.p	2024-10-04 18:27	141
	order.p	2024-10-04 18:27	141
	right_annihilation.p	2024-10-04 18:27	141
	domain1.p	2024-10-04 18:27	142
	codomain1.p	2024-10-04 18:27	146
	multiplicative_left_identity.p	2024-10-04 18:27	147
	multiplicative_right_identity.p	2024-10-04 18:27	148
	codomain4.p	2024-10-04 18:27	149
	additive_commutativity.p	2024-10-04 18:27	153
	divergence1.p	2024-10-04 18:27	157
	domain3.p	2024-10-04 18:27	159
	star_unfold_left.p	2024-10-04 18:27	162
	star_unfold_right.p	2024-10-04 18:27	163
	forward_box.p	2024-10-04 18:27	164
	backward_box.p	2024-10-04 18:27	167
	codomain3.p	2024-10-04 18:27	167
	forward_diamond.p	2024-10-04 18:27	181
	additive_associativity.p	2024-10-04 18:27	185
	backward_diamond.p	2024-10-04 18:27	187
	domain_difference.p	2024-10-04 18:27	189
	star_induction_left.p	2024-10-04 18:27	207
	star_induction_right.p	2024-10-04 18:27	208
	left_distributivity.p	2024-10-04 18:27	212
	right_distributivity.p	2024-10-04 18:27	213
	multiplicative_associativity.p	2024-10-04 18:27	215
	domain2.p	2024-10-04 18:27	272
	codomain2.p	2024-10-04 18:27	288
	divergence2.p	2024-10-04 18:27	404