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