prio/Paper/ROOT.ML
author urbanc
Thu, 30 Aug 2012 08:30:57 +0000
changeset 369 cbb4ac6c8081
parent 262 4190df6f4488
permissions -rwxr-xr-x
small change

use_thy "Paper";