GNUnify presentation added