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

	Name	Last modified	Size	Description
	Parent Directory		-
	mp3_favoured_trategy.p	2024-10-04 18:34	413
	mp_endpoint_in_environment.p	2024-10-04 18:34	181
	t3.p	2024-10-04 18:34	313
	mp5_rapid_change_is_non_critical.p	2024-10-04 18:34	282
	mp_organizational_sets2.p	2024-10-04 18:34	160
	mp_organizational_sets1.p	2024-10-04 18:34	153
	mp_selection_favours_in_time.p	2024-10-04 18:34	454
	mp6_not_extreme_change_means_not_empty.p	2024-10-04 18:34	258
	mp_appearance_before_end_holds.p	2024-10-04 18:34	261
	mp_non_empty_means_organisations.p	2024-10-04 18:34	230
	t2.p	2024-10-04 18:34	302
	l13.p	2024-10-04 18:34	229
	prove_t9.p	2024-10-04 18:34	235
	mp_greater_or_equal.p	2024-10-04 18:34	184
	mp_appearance_of_EP.p	2024-10-04 18:34	256
	mp_critical_point_not_before_opening.p	2024-10-04 18:34	244