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

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