isabelle
XML trees *
cache for partial sharing (weak table) *
XML as data representation language *
string representation *