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

	Name	Last modified	Size	Description
	Parent Directory		-
	union_axiom3.p	2024-10-04 18:32	225
	union_axiom2.p	2024-10-04 18:32	225
	union_axiom1.p	2024-10-04 18:32	255
	subsets_axiom2.p	2024-10-04 18:32	208
	subsets_axiom1.p	2024-10-04 18:32	204
	subsets_are_set_equal_sets.p	2024-10-04 18:32	197
	set_equal_sets_are_subsets2.p	2024-10-04 18:32	194
	set_equal_sets_are_subsets1.p	2024-10-04 18:32	194
	not_member_of_difference.p	2024-10-04 18:32	235
	membership_in_subsets.p	2024-10-04 18:32	226
	member_of_union_is_member_of_one_set.p	2024-10-04 18:32	264
	member_of_set2_is_member_of_union.p	2024-10-04 18:32	238
	member_of_set1_is_member_of_union.p	2024-10-04 18:32	238
	member_of_intersection_is_member_of_set2.p	2024-10-04 18:32	273
	member_of_intersection_is_member_of_set1.p	2024-10-04 18:32	273
	member_of_difference_or_set2.p	2024-10-04 18:32	276
	member_of_difference.p	2024-10-04 18:32	245
	member_of_both_is_member_of_intersection.p	2024-10-04 18:32	298
	intersection_axiom3.p	2024-10-04 18:32	317
	intersection_axiom2.p	2024-10-04 18:32	270
	intersection_axiom1.p	2024-10-04 18:32	270
	difference_axiom3.p	2024-10-04 18:32	299
	difference_axiom2.p	2024-10-04 18:32	256
	difference_axiom1.p	2024-10-04 18:32	258