session WWW_Find = Pure +
  theories [condition = ISABELLE_POLYML] WWW_Find

