Document: cduce
Title: CDuce documentation
Author: The CDuce Team (http://www.cduce.org/team.html)
Abstract: Local copy of the CDuce website including tutorial, users' manual and examples
Section: Programming

Format: HTML
Index: /usr/share/doc/cduce/html/index.html
Files: /usr/share/doc/cduce/html/*.html
