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

	Name	Last modified	Size	Description
	Parent Directory		-
	xor_definition.p	2024-10-04 18:27	158
	xor_commutativity.p	2024-10-04 18:27	138
	or_definition.p	2024-10-04 18:27	142
	or_commutativity.p	2024-10-04 18:27	135
	or_associativity.p	2024-10-04 18:27	155
	false_definition.p	2024-10-04 18:27	124
	axiom_8.p	2024-10-04 18:27	206
	axiom_7.p	2024-10-04 18:27	150
	axiom_6.p	2024-10-04 18:27	137
	axiom_5.p	2024-10-04 18:27	134
	axiom_4.p	2024-10-04 18:27	122
	axiom_3.p	2024-10-04 18:27	121
	axiom_2.p	2024-10-04 18:27	121
	axiom_1.p	2024-10-04 18:27	122
	and_star_definition.p	2024-10-04 18:27	159
	and_star_commutativity.p	2024-10-04 18:27	153
	and_star_associativity.p	2024-10-04 18:27	185
	and_definition.p	2024-10-04 18:27	149
	and_commutativity.p	2024-10-04 18:27	138
	and_associativity.p	2024-10-04 18:27	160