Paper/ROOT.ML
author Christian Urban <urbanc@in.tum.de>
Fri, 30 Jul 2010 00:40:32 +0100
changeset 2388 ebf253d80670
parent 2330 8728f7990f6d
child 2465 07ffa4e41659
permissions -rw-r--r--
equivariance for size

quick_and_dirty := true;
no_document use_thys ["LaTeXsugar", "../Nominal/NewParser"];
use_thys ["Paper"];