Проф. Петров бе и един от летописците на българската борба