doc-src/Tutorial/ToyList/qed2
author kleing
Tue, 06 May 2003 12:29:49 +0200
changeset 13965 46ad7fd03a38
parent 5377 efb799c5ed3c
permissions -rw-r--r--
use -Smax with poly 4.1.3 for maximum database space (see poly release notes)

qed "app_Nil2";