Mercurial Mercurial > hg > isabelle-cookbook / 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.
ProgTutorial/Advanced.thy
changeset 560 8d30446d89f0
parent 552 82c482467d75
child 562 daf404920ab9
equal deleted inserted replaced
559:ffa5c4ec9611 560:8d30446d89f0 
   572   \end{readmore}
 
   572   \end{readmore}
 
   573 *}
 
   573 *}
 
   574 
   574 
   575 section {* Misc (TBD) *}
 
   575 section {* Misc (TBD) *}
 
   576 
   576 
   577 ML {*Datatype.get_info @{theory} "List.list"*}
 
       
   578 
       
   579 text {* 
   577 text {* 
   580 FIXME: association lists:
 
   578 FIXME: association lists:
 
   581 @{ML_file "Pure/General/alist.ML"}
 
   579 @{ML_file "Pure/General/alist.ML"}
 
   582 
   580 
   583 FIXME: calling the ML-compiler
 
   581 FIXME: calling the ML-compiler
isabelle-cookbook