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

	Name	Last modified	Size	Description
	Parent Directory		-
	cls_COMBI__def__raw_0.p	2024-10-04 18:24	130
	ifeq_axiom.p	2024-10-04 18:24	139
	ifeq_axiom_001.p	2024-10-04 18:24	142
	cls_hext__refl_0.p	2024-10-04 18:24	144
	cls_COMBI__def_0.p	2024-10-04 18:24	145
	cls_ATP__Linkup_Oequal__imp__fequal_0.p	2024-10-04 18:24	172
	cls_CHAINED_0_04.p	2024-10-04 18:24	178
	cls_ATP__Linkup_Ofequal__imp__equal_0.p	2024-10-04 18:24	201
	cls_CHAINED_0_01.p	2024-10-04 18:24	219
	cls_CHAINED_0_03.p	2024-10-04 18:24	255
	cls_CHAINED_0.p	2024-10-04 18:24	258
	cls_RedNew_I5_J_0.p	2024-10-04 18:24	262
	cls_conjecture_0.p	2024-10-04 18:24	264
	cls_hext__trans_0.p	2024-10-04 18:24	265
	cls_lconf__hext_0.p	2024-10-04 18:24	309
	cls_CHAINED_0_02.p	2024-10-04 18:24	708