doc-src/TutorialI/Advanced/ROOT.ML
author nipkow
Wed, 25 Oct 2000 18:25:41 +0200
changeset 10329 a9898d89a634
parent 10187 0376cccd9118
child 10654 458068404143
permissions -rw-r--r--
*** empty log message ***

use "../settings.ML";
use_thy "simp";
use_thy "WFrec";