moved adm_chfindom from Fix.thy to Cfun.thy; moved admw-related stuff to its own section
moved adm_chfindom from Fix.thy to Cfun.thy; moved admw-related stuff to its own section

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