src/Pure/System/distribution.ML

proper replacement for (map_types (K dummyT));

(*  Title:      Pure/System/distribution.ML
    Author:     Makarius

The Isabelle system distribution -- filled-in by makedist.
*)

structure Distribution =
struct
  val version = "repository version";
  val is_identified = false;
  val is_official = false;
end;