wneuper/isa: doc-src/TutorialI/readers@20e3616b2d9c

doc-src/TutorialI/readers

author	Walther Neuper <neuper@ist.tugraz.at>
	Thu, 12 Aug 2010 15:03:34 +0200
branch	isac-from-Isabelle2009-2
changeset 37913	20e3616b2d9c
parent 11243	a9d4f354aba2
permissions	-rw-r--r--

prepare reactivation of isac-update-Isa09-2

     1 By chapter:

     3 chapters 1 and 2, maybe 3: Peter White

     4 chapters 6, 7 and 8: David von Oheim

     5 chapter 6, maybe 8: Gerwin Klein

     6 chapters 3, maybe 4: Tanja Vos

     7 chapters 1-3 at least: Stefano Bistarelli

wneuper/isa