Searched refs:isabelle_amic2_texts (Results 1 – 1 of 1) sorted by relevance
187 static const char *isabelle_amic2_texts[] = {"Sub Mic", "Aux/FM Right"}; variable195 isabelle_amic2_texts);