doc-src/TutorialI/ToyList/ROOT.ML
author haftmann
Tue, 26 Feb 2008 20:38:17 +0100
changeset 26152 cf2cccf17d6d
parent 9834 109b11c4e77e
permissions -rw-r--r--
some more primrec

use "../settings.ML";
use_thy "ToyList";