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

	Name	Last modified	Size	Description
	Parent Directory		-
	cls_ATP__Linkup_Oequal__imp__fequal_0.p	2024-10-04 18:21	164
	cls_ATP__Linkup_Ofequal__imp__equal_0.p	2024-10-04 18:21	192
	cls_IIA__def_4.p	2024-10-04 18:21	369
	cls_IIA__def_5.p	2024-10-04 18:21	369
	cls_assms_I3_J_0.p	2024-10-04 18:21	137
	cls_conjecture_0.p	2024-10-04 18:21	158
	cls_dictator__def_0.p	2024-10-04 18:21	393
	cls_dictator__def_1.p	2024-10-04 18:21	402
	cls_dictator__def_2.p	2024-10-04 18:21	316
	cls_mem__def_0.p	2024-10-04 18:21	176
	cls_mem__def_1.p	2024-10-04 18:21	176
	cls_u_0.p	2024-10-04 18:21	134
	cls_unanimity__def_1.p	2024-10-04 18:21	387