Slides/ROOTA.ML
author Cezary Kaliszyk <cezarykaliszyk@gmail.com>
Fri, 30 Mar 2012 13:39:15 +0200 (2012-03-30)
changeset 3146 556fcd0e5fcb
parent 3121 878de0084b62
permissions -rw-r--r--
Finish all subgoals about Aux.
(*show_question_marks := false;*)
quick_and_dirty := true;

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

use_thy "SlidesA"