Man Pages in cduce

Section 1: Executable programs or shell commands

cduce.1

Cduce the cduce compiler/interpreter/toplevel

cduce_mktop.1

Cduce_mktop produce a customized cduce toplevel/compiler.