This directory contains some documention for the CurryCheck tool:

manual.tex:
  A short description to be included in the main manual of the Curry system.
  
main.tex:
  The manual as a stand-alone LaTeX file.