Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/CAT001-10/VerificationProblems/iProver-SAT---3.7

	Name	Last modified	Size	Description
	Parent Directory		-
	star_property.p	2024-10-04 18:33	277
	prove_h_equals_g.p	2024-10-04 18:33	109
	ifeq_axiom.p	2024-10-04 18:33	138
	domain_of_codomain_is_codomain.p	2024-10-04 18:33	158
	domain_composition.p	2024-10-04 18:33	137
	codomain_of_domain_is_domain.p	2024-10-04 18:33	154
	codomain_of_a_equals_domain_of_h.p	2024-10-04 18:33	142
	codomain_of_a_equals_domain_of_g.p	2024-10-04 18:33	142
	codomain_of_a_equals_domain_of_b.p	2024-10-04 18:33	142
	codomain_domain2.p	2024-10-04 18:33	195
	codomain_domain1.p	2024-10-04 18:33	189
	codomain_composition.p	2024-10-04 18:33	141
	c1.p	2024-10-04 18:33	268
	ah_equals_ag.p	2024-10-04 18:33	126