Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/MGT031+1/VerificationProblems/E-SAT---3.0.CSA-Sat.s

	Name	Last modified	Size	Description
	Parent Directory		-
	a9.p	2024-10-04 18:33	252
	a13.p	2024-10-04 18:33	184
	mp_FM_not_precede_first.p	2024-10-04 18:33	209
	mp_greater_or_equal.p	2024-10-04 18:33	179
	mp_greater_transitivity.p	2024-10-04 18:33	188
	mp_no_EP_before_appearance.p	2024-10-04 18:33	281
	mp_no_FM_before_appearance.p	2024-10-04 18:33	267
	mp_number_mean_non_empty.p	2024-10-04 18:33	274
	mp_positive_number_when_appear.p	2024-10-04 18:33	216
	prove_l13.p	2024-10-04 18:33	232