Journal/ROOT.ML
author urbanc
Wed, 14 Sep 2011 15:56:03 +0000
changeset 254 c21aaf7723a0
parent 233 e2dc11e12e0b
permissions -rw-r--r--
added paper that recently appeared about rexps and pegs

no_document use_thy "../Closures2";
no_document use_thy "../Attic/Prefix_subtract";

use_thy "Paper"