Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/ANA006-2/VerificationProblems/iProver-SAT---3.7

	Name	Last modified	Size	Description
	Parent Directory		-
	minimum2.p	2024-10-04 18:30	139
	minimum6.p	2024-10-04 18:30	139
	commutativity_of_add.p	2024-10-04 18:30	141
	half_plus_half_is_whole.p	2024-10-04 18:30	141
	minimum1.p	2024-10-04 18:30	153
	minimum5.p	2024-10-04 18:30	153
	equal_implies_less_or_equal.p	2024-10-04 18:30	160
	zero_and_half.p	2024-10-04 18:30	160
	associativity_of_add.p	2024-10-04 18:30	163
	half_plus_half_less_or_equal_whole.p	2024-10-04 18:30	165
	whole_less_or_equal_half_plus_half.p	2024-10-04 18:30	165
	minimum4.p	2024-10-04 18:30	166
	minimum8.p	2024-10-04 18:30	166
	commutativity_of_add_for_less_or_equal.p	2024-10-04 18:30	172
	minimum3.p	2024-10-04 18:30	174
	minimum7.p	2024-10-04 18:30	174
	commutativity_of_less_or_equal.p	2024-10-04 18:30	175
	minimum9.p	2024-10-04 18:30	190
	associativity_of_add_for_less_or_equal1.p	2024-10-04 18:30	195
	associativity_of_add_for_less_or_equal2.p	2024-10-04 18:30	195
	add_to_both_sides_of_less_equal1.p	2024-10-04 18:30	201
	transitivity_of_less_or_equal.p	2024-10-04 18:30	207
	absolute_sum_less_or_equal_sum_of_absolutes1.p	2024-10-04 18:30	208
	less_or_equal_sum_of_halves.p	2024-10-04 18:30	224
	add_to_both_sides_of_less_equal2.p	2024-10-04 18:30	232
	absolute_sum_less_or_equal_sum_of_absolutes2.p	2024-10-04 18:30	243