lib/texinputs/isabelle.sty

--- a/lib/texinputs/isabelle.sty	Sun Nov 27 12:52:52 2011 +0100
+++ b/lib/texinputs/isabelle.sty	Sun Nov 27 13:12:42 2011 +0100
@@ -194,10 +194,12 @@
 \def\isacharverbatimclose{\isamath{\rangle\!\rangle}}%
 }
 
-\newcommand{\isabellestyleitunderscore}{%
+\newcommand{\isabellestyleliteral}{%
 \isabellestyleit%
 \def\isacharunderscore{\_}%
 \def\isacharunderscorekeyword{\_}%
+\chardef\isacharbackquoteopen=`\`%
+\chardef\isacharbackquoteclose=`\`%
 }
 
 \newcommand{\isabellestylesl}{%