Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/MGT038-10/VerificationProblems/E-SAT---3.0

	Name	Last modified	Size	Description
	Parent Directory		-
	mp_contracting_time_19.p	2024-10-04 18:34	211
	prove_t7_28.p	2024-10-04 18:34	226
	prove_t7_27.p	2024-10-04 18:34	110
	mp7_first_movers_exist_17.p	2024-10-04 18:34	137
	a13_25.p	2024-10-04 18:34	194
	ifeq_axiom.p	2024-10-04 18:34	133
	mp_greater_transitivity_22.p	2024-10-04 18:34	208
	mp_long_stable_environments_21.p	2024-10-04 18:34	283
	mp_stable_first_movers_18.p	2024-10-04 18:34	218
	prove_t7_26.p	2024-10-04 18:34	115
	l9_23.p	2024-10-04 18:34	203
	ifeq_axiom_001.p	2024-10-04 18:34	136
	l9_24.p	2024-10-04 18:34	193
	mp_contracting_time_20.p	2024-10-04 18:34	219