lib/texinputs/isabellesym.sty
changeset 71928 ae643fb4ca30
parent 71887 f7d15620dd8e
child 73404 299f6a8faccc
equal deleted inserted replaced
71927:ebcae4a19e78 71928:ae643fb4ca30
   395 \newcommand{\isactrlmakeUNDERSCOREstring}{\isakeywordcontrol{make{\isacharunderscore}string}}
   395 \newcommand{\isactrlmakeUNDERSCOREstring}{\isakeywordcontrol{make{\isacharunderscore}string}}
   396 \newcommand{\isactrlmasterUNDERSCOREdir}{\isakeywordcontrol{master{\isacharunderscore}dir}}
   396 \newcommand{\isactrlmasterUNDERSCOREdir}{\isakeywordcontrol{master{\isacharunderscore}dir}}
   397 \newcommand{\isactrlmethod}{\isakeywordcontrol{method}}
   397 \newcommand{\isactrlmethod}{\isakeywordcontrol{method}}
   398 \newcommand{\isactrlnamedUNDERSCOREtheorems}{\isakeywordcontrol{named{\isacharunderscore}theorems}}
   398 \newcommand{\isactrlnamedUNDERSCOREtheorems}{\isakeywordcontrol{named{\isacharunderscore}theorems}}
   399 \newcommand{\isactrlnonterminal}{\isakeywordcontrol{nonterminal}}
   399 \newcommand{\isactrlnonterminal}{\isakeywordcontrol{nonterminal}}
       
   400 \newcommand{\isactrloracleUNDERSCOREname}{\isakeywordcontrol{oracle{\isacharunderscore}name}}
   400 \newcommand{\isactrlpath}{\isakeywordcontrol{path}}
   401 \newcommand{\isactrlpath}{\isakeywordcontrol{path}}
   401 \newcommand{\isactrlpathUNDERSCOREbinding}{\isakeywordcontrol{path{\isacharunderscore}binding}}
   402 \newcommand{\isactrlpathUNDERSCOREbinding}{\isakeywordcontrol{path{\isacharunderscore}binding}}
   402 \newcommand{\isactrlplugin}{\isakeywordcontrol{plugin}}
   403 \newcommand{\isactrlplugin}{\isakeywordcontrol{plugin}}
   403 \newcommand{\isactrlprint}{\isakeywordcontrol{print}}
   404 \newcommand{\isactrlprint}{\isakeywordcontrol{print}}
   404 \newcommand{\isactrlprop}{\isakeywordcontrol{prop}}
   405 \newcommand{\isactrlprop}{\isakeywordcontrol{prop}}