regexp: Slides/ROOT.ML@92ca56c1a199 (annotated)

16 663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	1	(show_question_marks := false;)
663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	2
203 5d724fe0e096 changes according to afp-submission urbanc parents: 24 diff changeset	3	no_document use_thy "~~/src/HOL/Library/LaTeXsugar";
16 663816814e3e added initial slides for informal talk in Cambridge urbanc parents: diff changeset	4	quick_and_dirty := true;
24 f72c82bf59e5 added paper urbanc parents: 16 diff changeset	5	use_thy "Slides"

author	Christian Urban <christian dot urban at kcl dot ac dot uk>
	Thu, 12 Sep 2013 17:20:48 +0100
changeset 386	92ca56c1a199
parent 203	5d724fe0e096
permissions	-rw-r--r--