The functions in this file have been moved to "cladata.ML" and "simpdata.ML".
The functions in this file have been moved to "cladata.ML"
and "simpdata.ML".

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