fact: Fixpoint contents {A : Type} (s : A -> string) (l : list A) : string := match l with | nil => ""%string | cons h nil => s h | cons h t => append (append (s h) "; ") (contents s t) end.
imports: Coq(Ascii Basics Decimal List String ZArith)