Inv June 19, 2007 November 27, 2007 / Leave a Comment The injective language Inv, together with the language X, the XEditor, and the HaXml embedding. [GZipped Tarball]