=========================================================================
This file shows additional information to AIPC that is not in the manual.
If you have some information for us (advice, bugs, etc.) try to contact:

a. if you are a student of computer science at the Johannes-Kepler-Univ.:
   your tutor or a lecturer of "Mathematics for Computer Science".
   
b. else: The "Research Institute for Symbolic Computation" (RISC/Linz), 
   Johannes-Kepler-University, A-4040 Linz, Austria, Europe.
=========================================================================

---------------------------------------------------------------------
FILES:

  When installed, the working directory should include at least the 
  following (16) files:

    README   TXT        this file
    AIPC     EXE        the executable program
    DEMO1    LIB        a library example
    DEMO1    SPE        a proof example
    DEMO1    TRE        - " -
    DEMO1    RA         - " -
    DEMO2    SPE        - " -
    OR_ASSOC SPE        a proof example of the manual (appendix)
    OR_ASSOC TRE        - " -
    OR_ASSOC RA         - " -
    DIVISOR  SPE        - " -
    DIVISOR  TRE        - " -
    DIVISOR  RA         - " -
    BOUND    SPE        - " -
    BOUND    TRE        - " -
    BOUND    RA         - " -
---------------------------------------------------------------------