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

	Name	Last modified	Size	Description
	Parent Directory		-
	wajsberg_1.p	2024-10-04 18:22	124
	or_commutativity.p	2024-10-04 18:22	135
	and_commutativity.p	2024-10-04 18:22	138
	or_definition.p	2024-10-04 18:22	142
	and_definition.p	2024-10-04 18:22	149
	or_associativity.p	2024-10-04 18:22	155
	and_associativity.p	2024-10-04 18:22	160
	wajsberg_3.p	2024-10-04 18:22	161
	wajsberg_4.p	2024-10-04 18:22	164
	wajsberg_2.p	2024-10-04 18:22	184