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

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