session WWW_Find in "." = Pure +
  theories [condition = ISABELLE_POLYML] WWW_Find

