doc-src/TutorialI/Documents/ROOT.ML
author wenzelm
Tue, 04 Aug 2009 15:59:57 +0200
changeset 32323 8185d3bfcbf1
parent 11647 0538cb0f7999
permissions -rw-r--r--
tuned "Bootstrapping the environment"; added "Additional components";


use_thy "Documents";