This directory contains the documentation of various Curry tools.
It has been automatically generated from the tool packages.
