| changeset 50109 | c13dc0b1841c |
| parent 48985 | 5386df44a037 |
| child 50130 | 8c6fde547cba |
--- a/src/Doc/IsarRef/document/root.tex Sat Nov 17 19:46:32 2012 +0100 +++ b/src/Doc/IsarRef/document/root.tex Sat Nov 17 20:10:28 2012 +0100 @@ -69,7 +69,7 @@ \input{Inner_Syntax.tex} \input{Misc.tex} \input{Generic.tex} -\part{Object-Logic} +\part{Isabelle/HOL}\label{part:hol} \input{HOL_Specific.tex} \part{Appendix}