doc-src/IsarRef/basics.tex
changeset 7135 8eabfd7e6b9b
parent 7046 9f755ff43cff
child 7297 c1eeeadbe80a
     1.1 --- a/doc-src/IsarRef/basics.tex	Fri Jul 30 14:59:32 1999 +0200
     1.2 +++ b/doc-src/IsarRef/basics.tex	Fri Jul 30 15:40:54 1999 +0200
     1.3 @@ -1,11 +1,13 @@
     1.4  
     1.5 -\chapter{Basic concepts}
     1.6 +\chapter{Basic Concepts}
     1.7  
     1.8  \section{Isabelle/Isar Theories}
     1.9  
    1.10  \section{The Isar proof language}
    1.11  
    1.12 -\subsection{Proof methods}
    1.13 +\subsection{Proof commands}
    1.14 +
    1.15 +\subsection{Methods}
    1.16  
    1.17  \subsection{Attributes}
    1.18