Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/SWV918-10/VerificationProblems/Vampire-SAT---4.7

	Name	Last modified	Size	Description
	Parent Directory		-
	ifeq_axiom_001.p	2024-10-04 18:22	142
	ifeq_axiom.p	2024-10-04 18:22	139
	cls_hconf__def_1.p	2024-10-04 18:22	217
	cls_hconf_0.p	2024-10-04 18:22	235
	cls_conjecture_0.p	2024-10-04 18:22	243
	cls_COMBI__def__raw_0.p	2024-10-04 18:22	130
	cls_COMBI__def_0.p	2024-10-04 18:22	145
	cls_CHAINED_0_02.p	2024-10-04 18:22	303
	cls_CHAINED_0_01.p	2024-10-04 18:22	435
	cls_CHAINED_0.p	2024-10-04 18:22	695
	cls_ATP__Linkup_Ofequal__imp__equal_0.p	2024-10-04 18:22	201
	cls_ATP__Linkup_Oequal__imp__fequal_0.p	2024-10-04 18:22	172