Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/SEV436-1/VerificationProblems/iProver-SAT---3.7

	Name	Last modified	Size	Description
	Parent Directory		-
	intersection_axiom3.p	2024-10-04 18:32	323
	member_of_intersection_is_member_of_set1.p	2024-10-04 18:32	279
	union_axiom1.p	2024-10-04 18:32	261
	difference_axiom3.p	2024-10-04 18:32	305
	subsets_are_set_equal_sets.p	2024-10-04 18:32	203
	member_of_intersection_is_member_of_set2.p	2024-10-04 18:32	279
	member_of_set2_is_member_of_union.p	2024-10-04 18:32	244
	set_equal_sets_are_subsets2.p	2024-10-04 18:32	200
	difference_axiom2.p	2024-10-04 18:32	262
	subsets_axiom1.p	2024-10-04 18:32	210
	member_of_difference_or_set2.p	2024-10-04 18:32	282
	union_axiom2.p	2024-10-04 18:32	231
	membership_in_subsets.p	2024-10-04 18:32	232
	member_of_union_is_member_of_one_set.p	2024-10-04 18:32	270
	union_axiom3.p	2024-10-04 18:32	231
	member_of_set1_is_member_of_union.p	2024-10-04 18:32	244
	intersection_axiom2.p	2024-10-04 18:32	276
	member_of_both_is_member_of_intersection.p	2024-10-04 18:32	304
	member_of_difference.p	2024-10-04 18:32	251
	not_member_of_difference.p	2024-10-04 18:32	241
	set_equal_sets_are_subsets1.p	2024-10-04 18:32	200
	subsets_axiom2.p	2024-10-04 18:32	214
	intersection_axiom1.p	2024-10-04 18:32	276
	difference_axiom1.p	2024-10-04 18:32	264