Slides/ROOT.ML
author Christian Urban <urbanc@in.tum.de>
Mon, 07 Jun 2010 11:43:01 +0200
changeset 2311 4da5c5c29009
parent 2299 09bbed4f21d6
permissions -rw-r--r--
work on transitivity proof

show_question_marks := false;
quick_and_dirty := true;

no_document use_thy "LaTeXsugar";

use_thy "Slides1"