author | haftmann |
Tue, 07 Aug 2007 09:40:34 +0200 | |
changeset 24166 | 7b28dc69bdbb |
parent 24046 | 10f681043e07 |
child 24219 | e558fe311376 |
permissions | -rw-r--r-- |
(* Title: Pure/Tools/ROOT.ML ID: $Id$ Miscellaneous tools and packages for Pure Isabelle. *) use "named_thms.ML"; (*basic XML support*) use "xml.ML"; use "xml_syntax.ML"; (*derived theory and proof elements*) use "invoke.ML"; (*code generator, 1st generation*) use "../codegen.ML"; (*code generator, 2nd generation*) use "codegen_names.ML"; use "codegen_funcgr.ML"; use "codegen_thingol.ML"; use "codegen_serializer.ML"; use "codegen_package.ML";