The file
    aritut.txt
contains a short tutorial as an introduction to ARIBAS

The file
    aridoc.txt
is a more systematic documentation of ARIBAS.

Both files aritut.txt and aridoc.txt are pure ASCII files.

The file
    aridoc.zip
is a zip-file which contains both aritut.txt and aridoc.txt
