prio/Paper/ROOT.ML
author urbanc
Thu, 03 May 2012 00:43:57 +0000
changeset 353 32186d6a1951
parent 262 4190df6f4488
permissions -rwxr-xr-x
tuned paragraph on multiprocesors

use_thy "Paper";