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

	Name	Last modified	Size	Description
	Parent Directory		-
	maddux4_definiton_of_meet.p	2024-10-04 18:33	190
	maddux3_a_kind_of_de_Morgan.p	2024-10-04 18:33	225
	maddux2_join_associativity.p	2024-10-04 18:33	182
	maddux1_join_commutativity.p	2024-10-04 18:33	155
	def_zero.p	2024-10-04 18:33	133
	def_top.p	2024-10-04 18:33	131
	converse_multiplicativity.p	2024-10-04 18:33	198
	converse_idempotence.p	2024-10-04 18:33	142
	converse_cancellativity.p	2024-10-04 18:33	221
	converse_additivity.p	2024-10-04 18:33	178
	composition_identity.p	2024-10-04 18:33	139
	composition_distributivity.p	2024-10-04 18:33	212
	composition_associativity.p	2024-10-04 18:33	209