Paper/ROOT.ML
author urbanc
Tue, 13 Sep 2011 12:00:53 +0000
changeset 250 b1946e131ce8
parent 170 b1258b7d2789
permissions -rw-r--r--
small typo

no_document use_thy "../Myhill_2";

use_thy "Paper"