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/Pure/Isar/isar_cmd.ML
changeset 12069 87fecdd74030
parent 12060 f85eddf6a4fb
child 12125 316d11f760f7
equal deleted inserted replaced
12068:469f372d63db 12069:87fecdd74030 
   181 
   181 
   182 val print_theory = Toplevel.unknown_theory o
 
   182 val print_theory = Toplevel.unknown_theory o
 
   183   Toplevel.keep (PureThy.print_theory o Toplevel.theory_of);
 
   183   Toplevel.keep (PureThy.print_theory o Toplevel.theory_of);
 
   184 
   184 
   185 val print_syntax = Toplevel.unknown_theory o
 
   185 val print_syntax = Toplevel.unknown_theory o
 
   186   Toplevel.keep (Display.print_syntax o Toplevel.theory_of);
 
   186   Toplevel.keep (Display.print_syntax o Toplevel.theory_of) o
 
       
   187   Toplevel.keep (ProofContext.print_syntax o Proof.context_of o Toplevel.proof_of);
 
   187 
   188 
   188 val print_theorems = Toplevel.unknown_theory o
 
   189 val print_theorems = Toplevel.unknown_theory o
 
   189   Toplevel.keep (PureThy.print_theorems o Toplevel.theory_of);
 
   190   Toplevel.keep (PureThy.print_theorems o Toplevel.theory_of);
 
   190 
   191 
   191 val print_locales = Toplevel.unknown_theory o
 
   192 val print_locales = Toplevel.unknown_theory o
isabelle