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

	Name	Last modified	Size	Description
	Parent Directory		-
	left_identity.p	2024-10-04 18:32	131
	idempotence_of_lub.p	2024-10-04 18:32	138
	left_inverse.p	2024-10-04 18:32	139
	idempotence_of_gld.p	2024-10-04 18:32	141
	symmetry_of_lub.p	2024-10-04 18:32	164
	glb_absorbtion.p	2024-10-04 18:32	166
	lub_absorbtion.p	2024-10-04 18:32	166
	symmetry_of_glb.p	2024-10-04 18:32	170
	associativity.p	2024-10-04 18:32	176
	monotony_lub1.p	2024-10-04 18:32	206
	monotony_lub2.p	2024-10-04 18:32	206
	monotony_glb1.p	2024-10-04 18:32	212
	monotony_glb2.p	2024-10-04 18:32	212
	associativity_of_lub.p	2024-10-04 18:32	219
	associativity_of_glb.p	2024-10-04 18:32	231