Delete tml-specification