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