[Страдалецъ]

Функция ProvInputInt сделана для проверки ввода. Т.е. если переданный в эту функция параметр ch является цифрой, символом табуляции (Tab) или символом перевода каретки (Enter) тогда функция вернет значение Истина иначе Ложь
Можно несколько оптимизировать код этой функции так:

Код:

function Provinputint (ch:char):boolean;
begin
 Provinputint := ch in ['0'..'9',#8,#13];
end;