exported datatype value; added the_config; removed put_generic_src -- moved value parsing to attrib.ML; tuned;
exported datatype value;
added the_config;
removed put_generic_src -- moved value parsing to attrib.ML;
tuned;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle