Journal/ROOT.ML
author zhang
Fri, 03 Jun 2011 13:59:21 +0000
changeset 169 b794db0b79db
parent 167 61d0a412a3ae
child 172 21ee3a852a02
permissions -rw-r--r--
added boolean grammar

no_document use_thy "../Closure";

use_thy "Paper"