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

	Name	Last modified	Size	Description
	Parent Directory		-
	mp3_favoured_trategy.p	2024-10-04 18:24	407
	mp_endpoint_in_environment.p	2024-10-04 18:24	175
	t3.p	2024-10-04 18:24	307
	mp5_rapid_change_is_non_critical.p	2024-10-04 18:24	276
	mp_organizational_sets2.p	2024-10-04 18:24	154
	mp_organizational_sets1.p	2024-10-04 18:24	147
	mp_selection_favours_in_time.p	2024-10-04 18:24	448
	mp6_not_extreme_change_means_not_empty.p	2024-10-04 18:24	252
	mp_non_empty_means_organisations.p	2024-10-04 18:24	224
	t2.p	2024-10-04 18:24	296
	prove_t9.p	2024-10-04 18:24	229
	mp_greater_or_equal.p	2024-10-04 18:24	178
	mp_appearance_of_EP.p	2024-10-04 18:24	250
	mp_critical_point_not_before_opening.p	2024-10-04 18:24	238