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