doc-src/Tutorial/Recdef/constsgcd
author wenzelm
Tue, 20 Apr 1999 15:20:27 +0200
changeset 6458 13c779aec65a
parent 6100 40d66bc3e83f
permissions -rw-r--r--
temporarily fake quiet_mode;

consts gcd :: "nat*nat => nat"