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

	Name	Last modified	Size	Description
	Parent Directory		-
	set_equal_sets_are_subsets1.p	2024-10-04 18:33	194
	set_equal_sets_are_subsets2.p	2024-10-04 18:33	194
	subsets_are_set_equal_sets.p	2024-10-04 18:33	197
	subsets_axiom1.p	2024-10-04 18:33	204
	subsets_axiom2.p	2024-10-04 18:33	208
	membership_in_subsets.p	2024-10-04 18:33	226
	intersection_axiom1.p	2024-10-04 18:33	270
	intersection_axiom2.p	2024-10-04 18:33	270
	member_of_intersection_is_member_of_set1.p	2024-10-04 18:33	273
	member_of_intersection_is_member_of_set2.p	2024-10-04 18:33	273
	member_of_both_is_member_of_intersection.p	2024-10-04 18:33	298
	intersection_axiom3.p	2024-10-04 18:33	317