lib/texinputs/isabellesym.sty
changeset 67146 909dcdec2122
parent 64556 851ae0e7b09c
child 67153 39117b6f0b2e
     1.1 --- a/lib/texinputs/isabellesym.sty	Wed Dec 06 14:19:36 2017 +0100
     1.2 +++ b/lib/texinputs/isabellesym.sty	Wed Dec 06 15:46:35 2017 +0100
     1.3 @@ -367,7 +367,46 @@
     1.4  \newcommand{\isasymnewline}{\isatext{\fbox{$\hookleftarrow$}}}
     1.5  \newcommand{\isasymcomment}{\isatext{---}}
     1.6  \newcommand{\isasymproof}{\isamath{\,\langle\mathit{proof}\rangle}}
     1.7 -\newcommand{\isactrlundefined}{\isakeyword{undefined}\ }
     1.8 -\newcommand{\isactrlfile}{\isakeyword{file}\ }
     1.9 -\newcommand{\isactrldir}{\isakeyword{dir}\ }
    1.10 -\newcommand{\isactrlhere}{\isakeyword{here}\ }
    1.11 +
    1.12 +\newcommand{\isactrlassert}{\isakeywordcontrol{assert}}
    1.13 +\newcommand{\isactrlbinding}{\isakeywordcontrol{binding}}
    1.14 +\newcommand{\isactrlclass}{\isakeywordcontrol{class}}
    1.15 +\newcommand{\isactrlclassUNDERSCOREsyntax}{\isakeywordcontrol{class{\isacharunderscore}syntax}}
    1.16 +\newcommand{\isactrlcommandUNDERSCOREkeyword}{\isakeywordcontrol{command{\isacharunderscore}keyword}}
    1.17 +\newcommand{\isactrlconstUNDERSCOREabbrev}{\isakeywordcontrol{const{\isacharunderscore}abbrev}}
    1.18 +\newcommand{\isactrlconstUNDERSCOREname}{\isakeywordcontrol{const{\isacharunderscore}name}}
    1.19 +\newcommand{\isactrlconstUNDERSCOREsyntax}{\isakeywordcontrol{const{\isacharunderscore}syntax}}
    1.20 +\newcommand{\isactrlcontext}{\isakeywordcontrol{context}}
    1.21 +\newcommand{\isactrlcprop}{\isakeywordcontrol{cprop}}
    1.22 +\newcommand{\isactrlcterm}{\isakeywordcontrol{cterm}}
    1.23 +\newcommand{\isactrlctyp}{\isakeywordcontrol{ctyp}}
    1.24 +\newcommand{\isactrldir}{\isakeywordcontrol{dir}}
    1.25 +\newcommand{\isactrlfile}{\isakeywordcontrol{file}}
    1.26 +\newcommand{\isactrlhere}{\isakeywordcontrol{here}}
    1.27 +\newcommand{\isactrlkeyword}{\isakeywordcontrol{keyword}}
    1.28 +\newcommand{\isactrllocale}{\isakeywordcontrol{locale}}
    1.29 +\newcommand{\isactrlmakeUNDERSCOREstring}{\isakeywordcontrol{make{\isacharunderscore}string}}
    1.30 +\newcommand{\isactrlmethod}{\isakeywordcontrol{method}}
    1.31 +\newcommand{\isactrlnamedUNDERSCOREtheorems}{\isakeywordcontrol{named{\isacharunderscore}theorems}}
    1.32 +\newcommand{\isactrlnonterminal}{\isakeywordcontrol{nonterminal}}
    1.33 +\newcommand{\isactrlpath}{\isakeywordcontrol{path}}
    1.34 +\newcommand{\isactrlplugin}{\isakeywordcontrol{plugin}}
    1.35 +\newcommand{\isactrlprint}{\isakeywordcontrol{print}}
    1.36 +\newcommand{\isactrlprop}{\isakeywordcontrol{prop}}
    1.37 +\newcommand{\isactrlsimproc}{\isakeywordcontrol{simproc}}
    1.38 +\newcommand{\isactrlsort}{\isakeywordcontrol{sort}}
    1.39 +\newcommand{\isactrlsyntaxUNDERSCOREconst}{\isakeywordcontrol{syntax{\isacharunderscore}const}}
    1.40 +\newcommand{\isactrlsystemUNDERSCOREoption}{\isakeywordcontrol{system{\isacharunderscore}option}}
    1.41 +\newcommand{\isactrlterm}{\isakeywordcontrol{term}}
    1.42 +\newcommand{\isactrltheory}{\isakeywordcontrol{theory}}
    1.43 +\newcommand{\isactrltheoryUNDERSCOREcontext}{\isakeywordcontrol{theory{\isacharunderscore}context}}
    1.44 +\newcommand{\isactrltyp}{\isakeywordcontrol{typ}}
    1.45 +\newcommand{\isactrltypeUNDERSCOREabbrev}{\isakeywordcontrol{type{\isacharunderscore}abbrev}}
    1.46 +\newcommand{\isactrltypeUNDERSCOREname}{\isakeywordcontrol{type{\isacharunderscore}name}}
    1.47 +\newcommand{\isactrltypeUNDERSCOREsyntax}{\isakeywordcontrol{type{\isacharunderscore}syntax}}
    1.48 +\newcommand{\isactrlundefined}{\isakeywordcontrol{undefined}}
    1.49 +
    1.50 +\newcommand{\isactrlcode}{\isakeywordcontrol{code}}
    1.51 +\newcommand{\isactrlcomputation}{\isakeywordcontrol{computation}}
    1.52 +\newcommand{\isactrlcomputationUNDERSCOREconv}{\isakeywordcontrol{computation{\isacharunderscore}conv}}
    1.53 +\newcommand{\isactrlcomputationUNDERSCOREcheck}{\isakeywordcontrol{computation{\isacharunderscore}check}}