diff -r 03ed3519cf48 -r edafacb690a3 src/Pure/ProofGeneral/proof_general_emacs.ML
--- a/src/Pure/ProofGeneral/proof_general_emacs.ML	Mon Aug 11 17:37:48 2008 +0200
+++ b/src/Pure/ProofGeneral/proof_general_emacs.ML	Mon Aug 11 18:37:49 2008 +0200
@@ -62,7 +62,7 @@
       if name = Markup.stateN then (special "366" ^ "\n", "\n" ^ special "367")
       else if name = Markup.sendbackN then (special "376", special "377")
       else if name = Markup.hiliteN then (special "327", special "330")
-      else if name = Markup.classN then (special "351", special "350")
+      else if name = Markup.tclassN then (special "351", special "350")
       else if name = Markup.tfreeN then (special "352", special "350")
       else if name = Markup.tvarN then (special "353", special "350")
       else if name = Markup.freeN then (special "354", special "350")