Journal/ROOT.ML
author xingyuan zhang <xingyuanzhang@126.com>
Sat, 17 Oct 2015 16:10:33 +0800
changeset 53 8142e80f5d58
parent 6 7f2493296c39
permissions -rwxr-xr-x
Finished comments on PrioGDef.thy

use_thy "Paper";