wneuper/isa: doc-src/TutorialI/Types/Setup.thy@20e3616b2d9c

doc-src/TutorialI/Types/Setup.thy

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

prepare reactivation of isac-update-Isa09-2

     1 theory Setup

     2 imports Main

     3 uses

     4   "../../antiquote_setup.ML"

     5   "../../more_antiquote.ML"

     6 begin

     8 end

wneuper/isa