Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/SWV917-1/VerificationProblems/E-SAT---3.0

	Name	Last modified	Size	Description
	Parent Directory		-
	cls_option_Osimps_I3_J_0.p	2024-10-04 18:34	190
	cls_option_Osimps_I2_J_0.p	2024-10-04 18:34	190
	cls_option_Onchotomy_0.p	2024-10-04 18:34	257
	cls_option_Oinject_0.p	2024-10-04 18:34	218
	cls_option_Oexhaust_0.p	2024-10-04 18:34	255
	cls_not__Some__eq_1.p	2024-10-04 18:34	181
	cls_not__Some__eq_0.p	2024-10-04 18:34	250
	cls_not__None__eq_1.p	2024-10-04 18:34	183
	cls_not__None__eq_0.p	2024-10-04 18:34	250
	cls_is__none__def_1.p	2024-10-04 18:34	160
	cls_is__none__def_0.p	2024-10-04 18:34	188
	cls_is__none__code_I2_J_0.p	2024-10-04 18:34	182
	cls_conjecture_0.p	2024-10-04 18:34	297
	cls_CHAINED_0.p	2024-10-04 18:34	164