Searched refs:isabelle_rx1_texts (Results 1 – 1 of 1) sorted by relevance
139 static const char *isabelle_rx1_texts[] = {"VRX1", "ARX1"}; variable144 ARRAY_SIZE(isabelle_rx1_texts), isabelle_rx1_texts),146 ARRAY_SIZE(isabelle_rx1_texts), isabelle_rx1_texts),