Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/SWV917-1/VerificationProblems/Vampire-SAT---4.7

	Name	Last modified	Size	Description
	Parent Directory		-
	cls_option_Osimps_I3_J_0.p	2024-10-04 18:34	196
	cls_option_Osimps_I2_J_0.p	2024-10-04 18:34	196
	cls_option_Onchotomy_0.p	2024-10-04 18:34	263
	cls_option_Oinject_0.p	2024-10-04 18:34	224
	cls_option_Oexhaust_0.p	2024-10-04 18:34	261
	cls_not__Some__eq_1.p	2024-10-04 18:34	187
	cls_not__Some__eq_0.p	2024-10-04 18:34	256
	cls_not__None__eq_1.p	2024-10-04 18:34	189
	cls_not__None__eq_0.p	2024-10-04 18:34	256
	cls_is__none__def_1.p	2024-10-04 18:34	166
	cls_is__none__def_0.p	2024-10-04 18:34	194
	cls_is__none__code_I2_J_0.p	2024-10-04 18:34	188
	cls_conjecture_0.p	2024-10-04 18:34	303
	cls_CHAINED_0.p	2024-10-04 18:34	170