Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Tools/ROOT.ML
author wenzelm
Mon, 01 Jun 2009 13:32:54 +0200
changeset 31323 89f218fcab2a
parent 30981 6b9b93816b30
permissions -rw-r--r--
made SML/NJ happy;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
30981
6b9b93816b30 removed obsolete artifacts;
wenzelm
parents: 30973
diff changeset 
     1
 
(* Miscellaneous tools and packages for Pure Isabelle *)
16781
663235466562 - introduce Pure/Tools directory
obua
parents:
diff changeset 
     2
 







24046






10f681043e07
added Tools/named_thms.ML;



wenzelm


parents: 
23614

diff
changeset




     3


use "named_thms.ML";













10f681043e07
added Tools/named_thms.ML;



wenzelm


parents: 
23614

diff
changeset




     4









22208






2d6e8cf48670
shifted import order



haftmann


parents: 
22023

diff
changeset




     5


use "xml_syntax.ML";








20708






29c1754b250f
changed order



haftmann


parents: 
20657

diff
changeset




     6









30142






8d6145694bb5
moved find_theorems.ML and find_consts.ML to Pure/Tools, collecting main implementation in one place each;



wenzelm


parents: 
29858

diff
changeset




     7


use "find_theorems.ML";













8d6145694bb5
moved find_theorems.ML and find_consts.ML to Pure/Tools, collecting main implementation in one place each;



wenzelm


parents: 
29858

diff
changeset




     8


use "find_consts.ML";













8d6145694bb5
moved find_theorems.ML and find_consts.ML to Pure/Tools, collecting main implementation in one place each;



wenzelm


parents: 
29858

diff
changeset




     9
















isabelle