1.1 --- a/doc-src/IsarRef/isar-ref.tex	Mon Mar 27 21:13:06 2000 +0200
     1.2 +++ b/doc-src/IsarRef/isar-ref.tex	Mon Mar 27 21:13:23 2000 +0200
     1.3 @@ -11,6 +11,7 @@
     1.4  
     1.5  \railterm{percent,ppercent,underscore,lbrace,rbrace,llbrace,rrbrace}
     1.6  \railterm{ident,longident,symident,var,textvar,typefree,typevar,nat,string,verbatim,keyword}
     1.7 +\railterm{name,nameref,text,type,term,prop,atom}
     1.8  
     1.9  \railalias{ident}{\railtoken{ident}}
    1.10  \railalias{longident}{\railtoken{longident}}