nominal2: Slides/ROOT3.ML@589b1a0c75e6 (annotated)

2748 6f38e357b337 rearranged directories and updated to new Isabelle Christian Urban <urbanc@in.tum.de> parents: 2351 diff changeset	1	(show_question_marks := false;)
2351 842969a598f2 added material for slides Christian Urban <urbanc@in.tum.de> parents: diff changeset	2	quick_and_dirty := true;
842969a598f2 added material for slides Christian Urban <urbanc@in.tum.de> parents: diff changeset	3
2748 6f38e357b337 rearranged directories and updated to new Isabelle Christian Urban <urbanc@in.tum.de> parents: 2351 diff changeset	4	no_document use_thy "~~/src/HOL/Library/LaTeXsugar";
2351 842969a598f2 added material for slides Christian Urban <urbanc@in.tum.de> parents: diff changeset	5
842969a598f2 added material for slides Christian Urban <urbanc@in.tum.de> parents: diff changeset	6	use_thy "Slides3"

author	Cezary Kaliszyk <kaliszyk@in.tum.de>
	Fri, 24 Jun 2011 10:30:06 +0900
changeset 2893	589b1a0c75e6
parent 2748	6f38e357b337
permissions	-rw-r--r--