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

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