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.