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

	Name	Last modified	Size	Description
	Parent Directory		-
	and_defn.p	2024-10-04 18:32	143
	implies_definition.p	2024-10-04 18:32	147
	axiom_1_6.p	2024-10-04 18:32	172
	equivalent_defn.p	2024-10-04 18:32	165
	axiom_1_4.p	2024-10-04 18:32	142
	axiom_1_2.p	2024-10-04 18:32	128
	axiom_1_5.p	2024-10-04 18:32	162
	rule_1.p	2024-10-04 18:32	127
	axiom_1_3.p	2024-10-04 18:32	136
	rule_2.p	2024-10-04 18:32	163