prio/ROOT.ML
author urbanc
Thu, 24 May 2012 11:37:03 +0000
changeset 358 b10f8db1e907
parent 262 4190df6f4488
permissions -rwxr-xr-x
small typo in the itp-12 paper

use_thy "CpsG"; 
use_thy "ExtGG";