Lines Matching full:appended
1323 // New lemmas are always appended, no need to write whole lemma block