nominal2: Slides/ROOT2.ML@faeac3ae43e5 (annotated)

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

author	Cezary Kaliszyk <kaliszyk@in.tum.de>
	Tue, 20 Dec 2011 18:07:48 +0900
changeset 3084	faeac3ae43e5
parent 2748	6f38e357b337
permissions	-rw-r--r--