--- a/ProgTutorial/document/root.rao	Tue Mar 31 16:50:13 2009 +0100
+++ b/ProgTutorial/document/root.rao	Tue Mar 31 20:31:18 2009 +0100
@@ -1,8 +1,8 @@
-% This file was generated by 'rail' from 'CookBook/generated/root.rai'
+% This file was generated by 'rail' from 'ProgTutorial/generated/root.rai'
 \rail@t {simpleinductive}
 \rail@t {where}
 \rail@t {for}
-\rail@i {1}{ simpleinductive target? fixes (for fixes)? \\ (where (thmdecl? prop + '|'))? ; }
+\rail@i {1}{ simpleinductive target?\\ fixes (where (thmdecl? prop + '|'))? ; }
 \rail@o {1}{
 \rail@begin{7}{}
 \rail@token{simpleinductive}[]
@@ -10,14 +10,9 @@
 \rail@nextbar{1}
 \rail@nont{target}[]
 \rail@endbar
+\rail@cr{3}
 \rail@nont{fixes}[]
 \rail@bar
-\rail@nextbar{1}
-\rail@token{for}[]
-\rail@nont{fixes}[]
-\rail@endbar
-\rail@cr{3}
-\rail@bar
 \rail@nextbar{4}
 \rail@token{where}[]
 \rail@plus