100   THE FOLLOWING PROCEDURE IS TO BE FOLLOWED TO USE ANY
110   PROGRAM IN THIS GROUP:
120        TYPE 'OLD' AND SUPPLY THE PROGRAM NAME DESIRED
130        FOLLOWED BY EXTENSION ".LOG "
140 
1000  BASIC PROGRAMS---TYPE 'LIST' FOR DIRECTIONS.
1002 
1004  PROGRAM NAME    DESCRIPTION
1005  ------------    -----------
1006 
1020     NTRUTH       TRUTH TABLE CALCULATOR FOR N-VALUED LOGIC
1030     TAUTOL     TAUTOLOGY CHECK  (PROPOSITIONAL LOGIC)
1040     TURMUL       TURING MACHINE SIMULATOR
1050     WELLFM       WELL-FORMED FORMULA CHECK  (PROPOSITIONAL LOGIC)
4999 
5000    ****PLEASE NOTE****
5001 
5002    IF ANY PROGRAMS HAVE BEEN WRITTEN AND ARE SUITABLE FOR
5003    INCLUSION IN THIS GROUP, PLEASE REFER THEM TO THE
5004	DECUS LIBRARY MAYNARD/MASS.
5005 
5006    ALGOL PROGRAMS--TYPE 'LIST' FOR DIRECTIONS.
5007 
5008    PROGRAM NAME    DESCRIPTION
5009    ------------    -----------
5010 
5020  NONE IN LIBRARY YET