Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/SYO640-10/VerificationProblems/E-SAT---3.0

	Name	Last modified	Size	Description
	Parent Directory		-
	ifeq_axiom.p	2024-10-04 18:29	132
	itmul0.p	2024-10-04 18:29	138
	itmul0_1.p	2024-10-04 18:29	140
	itmul0_2.p	2024-10-04 18:29	199
	itmul0_3.p	2024-10-04 18:29	188
	itmul0_4.p	2024-10-04 18:29	141