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

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