Mercurial Mercurial > wneuper > isa / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
src/Pure/isac/smltest/QUESTIONS_1003
author Walther Neuper <neuper@ist.tugraz.at>
Wed, 21 Jul 2010 13:53:39 +0200
branchisac-from-Isabelle2009-2
changeset 37871 875b6efa7ced
permissions -rw-r--r--
added isac-hook in Pure/thm and isac-code
neuper@37871 
     1
 
(*HOL.thy;
neuper@37871 
     2
 
  .. is known, but these are unknown ?!? ...
neuper@37871 
     3
 
  Real.thy;
neuper@37871 
     4
 
  Complex.thy;
neuper@37871 
     5
 
  HOL_Complex.thy;
neuper@37871 
     6
 
  Complex_Main.thy;*)
wneuper/isa