regexp: Slides/ROOT.ML@0da31edd95b9 (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>
	Tue, 17 Sep 2013 11:21:58 +0100
changeset 388	0da31edd95b9
parent 203	5d724fe0e096
permissions	-rw-r--r--