lib/texinputs/isabellesym.sty
changeset 69596 c8a2755bf220
parent 67527 a93a9e89da72
child 69915 57a41389d0e2
equal deleted inserted replaced
69595:ec135235fbcc 69596:c8a2755bf220
   371 \newcommand{\isactrlcancel}{\isakeywordcontrol{cancel}}
   371 \newcommand{\isactrlcancel}{\isakeywordcontrol{cancel}}
   372 \newcommand{\isactrlbinding}{\isakeywordcontrol{binding}}
   372 \newcommand{\isactrlbinding}{\isakeywordcontrol{binding}}
   373 \newcommand{\isactrlclass}{\isakeywordcontrol{class}}
   373 \newcommand{\isactrlclass}{\isakeywordcontrol{class}}
   374 \newcommand{\isactrlclassUNDERSCOREsyntax}{\isakeywordcontrol{class{\isacharunderscore}syntax}}
   374 \newcommand{\isactrlclassUNDERSCOREsyntax}{\isakeywordcontrol{class{\isacharunderscore}syntax}}
   375 \newcommand{\isactrlcommandUNDERSCOREkeyword}{\isakeywordcontrol{command{\isacharunderscore}keyword}}
   375 \newcommand{\isactrlcommandUNDERSCOREkeyword}{\isakeywordcontrol{command{\isacharunderscore}keyword}}
       
   376 \newcommand{\isactrlconst}{\isakeywordcontrol{const}}
   376 \newcommand{\isactrlconstUNDERSCOREabbrev}{\isakeywordcontrol{const{\isacharunderscore}abbrev}}
   377 \newcommand{\isactrlconstUNDERSCOREabbrev}{\isakeywordcontrol{const{\isacharunderscore}abbrev}}
   377 \newcommand{\isactrlconstUNDERSCOREname}{\isakeywordcontrol{const{\isacharunderscore}name}}
   378 \newcommand{\isactrlconstUNDERSCOREname}{\isakeywordcontrol{const{\isacharunderscore}name}}
   378 \newcommand{\isactrlconstUNDERSCOREsyntax}{\isakeywordcontrol{const{\isacharunderscore}syntax}}
   379 \newcommand{\isactrlconstUNDERSCOREsyntax}{\isakeywordcontrol{const{\isacharunderscore}syntax}}
   379 \newcommand{\isactrlcontext}{\isakeywordcontrol{context}}
   380 \newcommand{\isactrlcontext}{\isakeywordcontrol{context}}
   380 \newcommand{\isactrlcprop}{\isakeywordcontrol{cprop}}
   381 \newcommand{\isactrlcprop}{\isakeywordcontrol{cprop}}