session anagrammi = NTP4Verif +
theories
  "anagrammi_Top_lt_transqtvc"
  "anagrammi_Top_anagrammiqtvc"
