This directory contains some documention for the curry-verify tool:

main.tex:
  A short description of the tool.

manual.tex:
  A short description to be included in the main manual of the Curry system.