deleting deprecated DomainHierarchy

use DomainHierarchyNG
datatype_DomainHierarchy also is superfluous
rm NetworkModel_Composition_Theory_legacy.thy
unused lemma
deleting nice but deprectaed documented latex proofs
fixing indentation
tuned
tuned
tuned
deleting (hopefully) unused afp entries
unused afp entry trancl2
more unused
moar cleanup
I guess we cannot cleanup more
adding enough dependencies to build collections session
NM_ACLcommunicateWith_impl.thy
typo
example
tuned
tuned