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

	Name	Last modified	Size	Description
	Parent Directory		-
	quotient_property.p	2024-10-04 18:27	301
	well_defined.p	2024-10-04 18:27	179
	less_equal_and_equal.p	2024-10-04 18:27	171
	divisor_existence.p	2024-10-04 18:27	166
	quotient_less_equal.p	2024-10-04 18:27	163
	less_equal_quotient.p	2024-10-04 18:27	163
	identity_is_largest.p	2024-10-04 18:27	135
	closure.p	2024-10-04 18:27	134
	zero_is_smallest.p	2024-10-04 18:27	128