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 475 25371f74c768
parent 471 f65b9f14d5de
child 481 32323727af96
equal deleted inserted replaced
473:fea1b7ce5c4a 475:25371f74c768 
   125   the current simpset.
 
   125   the current simpset.
 
   126 *}
 
   126 *}
 
   127 
   127 
   128 section {* Contexts (TBD) *}
 
   128 section {* Contexts (TBD) *}
 
   129 
   129 
   130 ML{*ProofContext.debug*}
 
   130 ML{*Proof_Context.debug*}
 
   131 ML{*ProofContext.verbose*}
 
   131 ML{*Proof_Context.verbose*}
 
   132 
   132 
   133 
   133 
   134 section {* Local Theories (TBD) *}
 
   134 section {* Local Theories (TBD) *}
 
   135 
   135 
   136 text {*
 
   136 text {*
isabelle-cookbook