Home | History | Annotate | Download | only in share

Lines Matching full:appended

1323   // New lemmas are always appended, no need to write whole lemma block