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

	Name	Last modified	Size	Description
	Parent Directory		-
	modularity2.p	2024-10-04 18:29	233
	modularity1.p	2024-10-04 18:29	233
	meet_x_and_x.p	2024-10-04 18:29	117
	meet_total_function_2.p	2024-10-04 18:29	186
	meet_total_function_1.p	2024-10-04 18:29	145
	meet_1_and_x.p	2024-10-04 18:29	118
	meet_0_and_x.p	2024-10-04 18:29	119
	join_x_and_x.p	2024-10-04 18:29	117
	join_total_function_2.p	2024-10-04 18:29	186
	join_total_function_1.p	2024-10-04 18:29	145
	join_1_and_x.p	2024-10-04 18:29	119
	join_0_and_x.p	2024-10-04 18:29	118
	commutativity_of_meet.p	2024-10-04 18:29	162
	commutativity_of_join.p	2024-10-04 18:29	162
	associativity_of_meet2.p	2024-10-04 18:29	231
	associativity_of_meet1.p	2024-10-04 18:29	231
	associativity_of_join2.p	2024-10-04 18:29	231
	associativity_of_join1.p	2024-10-04 18:29	231
	absorbtion2.p	2024-10-04 18:29	152
	absorbtion1.p	2024-10-04 18:29	152