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

	Name	Last modified	Size	Description
	Parent Directory		-
	maddux4_definiton_of_meet_4.p	2024-10-04 18:33	186
	maddux3_a_kind_of_de_Morgan_3.p	2024-10-04 18:33	220
	maddux2_join_associativity_2.p	2024-10-04 18:33	175
	maddux1_join_commutativity_1.p	2024-10-04 18:33	151
	def_zero_13.p	2024-10-04 18:33	133
	def_top_12.p	2024-10-04 18:33	131
	converse_multiplicativity_10.p	2024-10-04 18:33	195
	converse_idempotence_8.p	2024-10-04 18:33	141
	converse_cancellativity_11.p	2024-10-04 18:33	217
	converse_additivity_9.p	2024-10-04 18:33	174
	composition_identity_6.p	2024-10-04 18:33	138
	composition_distributivity_7.p	2024-10-04 18:33	204
	composition_associativity_5.p	2024-10-04 18:33	202