Searched refs:isabelle_rx2_texts (Results 1 – 1 of 1) sorted by relevance
135 static const char *isabelle_rx2_texts[] = {"VRX2", "ARX2"}; variable146 ARRAY_SIZE(isabelle_rx2_texts), isabelle_rx2_texts),148 ARRAY_SIZE(isabelle_rx2_texts), isabelle_rx2_texts),