LINEREADP : TPS-FILE

LINEREADP is a file. Functions for reading the input from the command line. /home/theorem/tps/bin/linereadp.fasl is part of module BARE.