Searched refs:isabelle_st_audio_texts (Results 1 – 1 of 1) sorted by relevance
203 static const char *isabelle_st_audio_texts[] = {"ATX1", "ATX2"}; variable209 ARRAY_SIZE(isabelle_st_audio_texts),210 isabelle_st_audio_texts),212 ARRAY_SIZE(isabelle_st_audio_texts),213 isabelle_st_audio_texts),