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

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