store external accesses within name space (as produced by naming policy);
improved sticky_prefix: suppress redundant accesses to achieve shorter output;
removed unused interfaces;
replaced accesses' by external_names (depening on naming);
(* ID: $Id$ *)
use "../settings.ML";
use_thy "Numbers";
use_thy "Pairs";
use_thy "Records";
use_thy "Typedefs";
use_thy "Overloading0";
use_thy "Overloading2";
use_thy "Axioms";