author | wenzelm |
Mon, 27 Mar 2000 21:13:23 +0200 | |
changeset 8596 | b2ef22670f25 |
parent 8595 | 06874c5c3cfa |
child 8597 | b9814ce3a1da |
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}}