На заметку
Чтобы этот код не отображался, в конце процедуры достаточно поставить двоеточие.
В процедуре описана локальная переменная t, которая доступна только внутри тела процедуры. Далее следует команда, определяющая работу процедуры paramdiff (). Согласно этой команде, переменной t в соответствие ставится (->) параметрическая производная от у по х (diff (y(t),t)/diff (x(t),t)), а сама переменная t при этом является параметром.
Теперь можно вычислить первую производную.