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

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