datatype lexicon: alternative representation using nested Symtab.table;
datatype lexicon: alternative representation using nested Symtab.table;

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