Mercurial Mercurial > repos > isabelle / comparison
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/HOL/HOL.thy
changeset 28663 bd8438543bf2
parent 28562 4e74209f113e
child 28682 5de9fc98ad96
equal deleted inserted replaced
28662:64ab5bb68d4c 28663:bd8438543bf2 
  1690 text {* Module setup *}
 
  1690 text {* Module setup *}
 
  1691 
  1691 
  1692 use "~~/src/HOL/Tools/recfun_codegen.ML"
 
  1692 use "~~/src/HOL/Tools/recfun_codegen.ML"
 
  1693 
  1693 
  1694 setup {*
 
  1694 setup {*
 
  1695   Code_Name.setup
 
  1695   Code_ML.setup
 
  1696   #> Code_ML.setup
 
       
  1697   #> Code_Haskell.setup
 
  1696   #> Code_Haskell.setup
 
  1698   #> Nbe.setup
 
  1697   #> Nbe.setup
 
  1699   #> Codegen.setup
 
  1698   #> Codegen.setup
 
  1700   #> RecfunCodegen.setup
 
  1699   #> RecfunCodegen.setup
 
  1701 *}
 
  1700 *}
isabelle