lib/texinputs/isabelle.sty
changeset 81628 e5be995d21f0
parent 81569 f8b28356ab94
child 81682 2f98e3c4592c
--- a/lib/texinputs/isabelle.sty	Wed Dec 18 12:49:42 2024 +0100
+++ b/lib/texinputs/isabelle.sty	Wed Dec 18 13:49:55 2024 +0100
@@ -151,6 +151,9 @@
 {\emph{\normalfont\bfseries\def\isachardot{.}\def\isacharunderscore{\isacharunderscorekeyword}%
 \def\isacharbraceleft{\{}\def\isacharbraceright{\}}#1}}
 \newcommand{\isacommand}[1]{\isakeyword{#1}}
+\newcommand{\isakeywordONE}[1]{\isakeyword{#1}}
+\newcommand{\isakeywordTWO}[1]{\isakeyword{#1}}
+\newcommand{\isakeywordTHREE}[1]{\isakeyword{#1}}
 \newcommand{\isatclass}[1]{#1}
 \newcommand{\isatconst}[1]{#1}
 \newcommand{\isatfree}[1]{#1}