nominal2: Slides/ROOT1.ML@5d145fe77ec1 (annotated)

2485 6bab47906dbe added example about datatypes Christian Urban <urbanc@in.tum.de> parents: 2351 diff changeset	1	(* show_question_marks := false; *)
2299 09bbed4f21d6 added slides Christian Urban <urbanc@in.tum.de> parents: diff changeset	2	quick_and_dirty := true;
09bbed4f21d6 added 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: 2485 diff changeset	4	no_document use_thy "~~/src/HOL/Library/LaTeXsugar";
2299 09bbed4f21d6 added slides Christian Urban <urbanc@in.tum.de> parents: diff changeset	5
09bbed4f21d6 added slides Christian Urban <urbanc@in.tum.de> parents: diff changeset	6	use_thy "Slides1"

author	Christian Urban <urbanc@in.tum.de>
	Wed, 17 Aug 2011 09:43:37 +0200 (2011-08-17)
changeset 2990	5d145fe77ec1
parent 2748	6f38e357b337
permissions	-rw-r--r--