diff -r 039845fc96bd -r c9ff326e3ce5 CookBook/document/root.rao
--- a/CookBook/document/root.rao	Fri Feb 13 14:15:28 2009 +0000
+++ b/CookBook/document/root.rao	Sat Feb 14 00:11:50 2009 +0000
@@ -1,8 +1,11 @@
 % This file was generated by 'rail' from 'CookBook/generated/root.rai'
-\rail@i {1}{ 'simple\protect \unhbox \voidb@x \kern .06em\vbox {\hrule width.3em}inductive' target? fixes ('for' fixes)? \\ ('where' (thmdecl? prop + '|'))? ; }
+\rail@t {simpleinductive}
+\rail@t {where}
+\rail@t {for}
+\rail@i {1}{ simpleinductive target? fixes (for fixes)? \\ (where (thmdecl? prop + '|'))? ; }
 \rail@o {1}{
 \rail@begin{7}{}
-\rail@term{simple\protect \unhbox \voidb@x \kern .06em\vbox {\hrule width.3em}inductive}[]
+\rail@token{simpleinductive}[]
 \rail@bar
 \rail@nextbar{1}
 \rail@nont{target}[]
@@ -10,13 +13,13 @@
 \rail@nont{fixes}[]
 \rail@bar
 \rail@nextbar{1}
-\rail@term{for}[]
+\rail@token{for}[]
 \rail@nont{fixes}[]
 \rail@endbar
 \rail@cr{3}
 \rail@bar
 \rail@nextbar{4}
-\rail@term{where}[]
+\rail@token{where}[]
 \rail@plus
 \rail@bar
 \rail@nextbar{5}