prio/Paper/ROOT.ML
author urbanc
Thu, 03 May 2012 08:52:03 +0000
changeset 354 677364c67cc8
parent 262 4190df6f4488
permissions -rwxr-xr-x
some small editing

use_thy "Paper";