Функция ProvInputInt сделана для проверки ввода. Т.е. если переданный в эту функция параметр ch является цифрой, символом табуляции (Tab) или символом перевода каретки (Enter) тогда функция вернет значение Истина иначе Ложь
Можно несколько оптимизировать код этой функции так:
Код:
function Provinputint (ch:char):boolean;
begin
Provinputint := ch in ['0'..'9',#8,#13];
end;