diff -r 71f4ecc08849 -r 702ed601349b thys/Paper/document/root.tex
--- a/thys/Paper/document/root.tex	Fri Mar 11 21:21:09 2016 +0000
+++ b/thys/Paper/document/root.tex	Sun Mar 13 01:07:34 2016 +0000
@@ -26,6 +26,7 @@
 \renewcommand{\isasymequiv}{$\dn$}
 \renewcommand{\isasymemptyset}{$\varnothing$}
 \renewcommand{\isacharunderscore}{\mbox{$\_\!\_$}}
+\renewcommand{\isacharprime}{\mbox{$\mbox{}\!\!\mbox{$^\prime$}$}}
 
 \definecolor{mygrey}{rgb}{.80,.80,.80}
 \def\Brz{Brzozowski}