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.
doc-src/TutorialI/tutorial.sty
changeset 11457 279da0358aa9
parent 11456 7eb63f63e6c6
child 12638 812ce0d9fc85
equal deleted inserted replaced
11456:7eb63f63e6c6 11457:279da0358aa9 
    31 
    31 
    32 \newcommand\tdx[1]{\isa{#1}\index{#1@\protect\isa{#1} (theorem)}}
 
    32 \newcommand\tdx[1]{\isa{#1}\index{#1@\protect\isa{#1} (theorem)}}
 
    33 \newcommand\tdxbold[1]{\isa{#1}\index{#1@\protect\isa{#1} (theorem)|bold}}
 
    33 \newcommand\tdxbold[1]{\isa{#1}\index{#1@\protect\isa{#1} (theorem)|bold}}
 
    34 
    34 
    35 \newcommand\cldx[1]{\isa{#1}\index{#1@\protect\isa{#1} (class)}}
 
    35 \newcommand\cldx[1]{\isa{#1}\index{#1@\protect\isa{#1} (class)}}
 
    36 \newcommand\tydx[1]{\textit{#1}\index{#1@\protect\isa{#1} (type)}}
 
    36 \newcommand\tydx[1]{\isa{#1}\index{#1@\protect\isa{#1} (type)}}
 
    37 \newcommand\thydx[1]{\isa{#1}\index{#1@\protect\isa{#1} (theory)}}
 
    37 \newcommand\thydx[1]{\isa{#1}\index{#1@\protect\isa{#1} (theory)}}
 
    38 
    38 
    39 \newcommand\attrdx[1]{\isa{#1}\index{#1@\protect\isa{#1} (attribute)}}
 
    39 \newcommand\attrdx[1]{\isa{#1}\index{#1@\protect\isa{#1} (attribute)}}
 
    40 \newcommand\commdx[1]{\isacommand{#1}\index{#1@\protect\isacommand{#1}
 
    40 \newcommand\commdx[1]{\isacommand{#1}\index{#1@\protect\isacommand{#1}
 
    41 (command)}}
 
    41 (command)}}
isabelle