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

	Name	Last modified	Size	Description
	Parent Directory		-
	prove_t9_43.p	2024-10-04 18:33	105
	prove_t9_42.p	2024-10-04 18:33	108
	prove_t9_41.p	2024-10-04 18:33	116
	mp_organizational_sets1_28.p	2024-10-04 18:33	140
	mp_organizational_sets2_29.p	2024-10-04 18:33	147
	prove_t9_44.p	2024-10-04 18:33	147
	mp_greater_or_equal_36.p	2024-10-04 18:33	168
	mp_endpoint_in_environment_30.p	2024-10-04 18:33	169
	mp_non_empty_means_organisations_32.p	2024-10-04 18:33	212
	l13_40.p	2024-10-04 18:33	215
	mp_critical_point_not_before_opening_31.p	2024-10-04 18:33	226
	mp6_not_extreme_change_means_not_empty_27.p	2024-10-04 18:33	235
	mp_appearance_of_EP_37.p	2024-10-04 18:33	238
	mp_appearance_before_end_holds_33.p	2024-10-04 18:33	247
	mp5_rapid_change_is_non_critical_26.p	2024-10-04 18:33	263
	t2_38.p	2024-10-04 18:33	292
	mp3_favoured_trategy_23.p	2024-10-04 18:33	302
	t3_39.p	2024-10-04 18:33	303
	mp3_favoured_trategy_24.p	2024-10-04 18:33	307
	mp_selection_favours_in_time_34.p	2024-10-04 18:33	337
	mp3_favoured_trategy_25.p	2024-10-04 18:33	352
	mp_selection_favours_in_time_35.p	2024-10-04 18:33	394