wneuper/isa: src/Pure/isac/smltest/QUESTIONS

src/Pure/isac/smltest/QUESTIONS_1003

author	Walther Neuper <neuper@ist.tugraz.at>
	Wed, 21 Jul 2010 13:53:39 +0200
branch	isac-from-Isabelle2009-2
changeset 37871	875b6efa7ced
permissions	-rw-r--r--

added isac-hook in Pure/thm and isac-code

     1 (*HOL.thy;

     2   .. is known, but these are unknown ?!? ...

     3   Real.thy;

     4   Complex.thy;

     5   HOL_Complex.thy;

     6   Complex_Main.thy;*)

wneuper/isa