Tethyan sediments in Himalayas