Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/CAT020-2/VerificationProblems/iProver-SAT---3.7

	Name	Last modified	Size	Description
	Parent Directory		-
	domain_composition.p	2024-10-04 18:29	136
	codomain_composition.p	2024-10-04 18:29	140
	codomain_of_domain_is_domain.p	2024-10-04 18:29	153
	domain_of_codomain_is_codomain.p	2024-10-04 18:29	157
	codomain_domain1.p	2024-10-04 18:29	181
	codomain_domain2.p	2024-10-04 18:29	185
	star_property.p	2024-10-04 18:29	230