Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/SYO690-1.001/VerificationProblems/iProver-SAT---3.7

	Name	Last modified	Size	Description
	Parent Directory		-
	rule_1.p	2024-10-04 18:28	168
	rewrite_top.p	2024-10-04 18:28	143
	rewrite_sequence_zero.p	2024-10-04 18:28	132
	rewrite_sequence_succ.p	2024-10-04 18:28	192
	rewrite_right.p	2024-10-04 18:28	164
	rewrite_left.p	2024-10-04 18:28	163
	prove.p	2024-10-04 18:28	140
	constructor_f3.p	2024-10-04 18:28	169
	constructor_f2.p	2024-10-04 18:28	169
	constructor_f1.p	2024-10-04 18:28	181
	constructor_af_001.p	2024-10-04 18:28	138
	constructor_af.p	2024-10-04 18:28	134
	constructor_a.p	2024-10-04 18:28	110