ROOT.ML
author xingyuan zhang <xingyuanzhang@126.com>
Thu, 03 Dec 2015 14:34:00 +0800
changeset 56 0fd478e14e87
parent 0 110247f9d47e
permissions -rwxr-xr-x
Before switching to generic theory of relational trees.

use_thy "CpsG"; 
use_thy "ExtGG";