ROOT2.ML
author chunhan
Thu, 13 Jun 2013 22:53:49 +0800
changeset 9 91fb17bb6229
parent 2 301f567e2a8e
permissions -rw-r--r--
add paper pdf


no_document use_thy "~~/src/HOL/Library/LaTeXsugar";

use_thy "Paper";