Removed obsolete alist_of and st_of_alist. Is now simply a structure instead of a functor.
Removed obsolete alist_of and st_of_alist.
Is now simply a structure instead of a functor.

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