Slides/ROOT.ML
author Christian Urban <urbanc@in.tum.de>
Thu, 03 Jun 2010 15:02:52 +0200
changeset 2310 dd3b9c046c7d
parent 2299 09bbed4f21d6
permissions -rw-r--r--
added uminus_eqvt

show_question_marks := false;
quick_and_dirty := true;

no_document use_thy "LaTeXsugar";

use_thy "Slides1"