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

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