| changeset 7135 | 8eabfd7e6b9b |
| parent 7046 | 9f755ff43cff |
| child 7297 | c1eeeadbe80a |
--- a/doc-src/IsarRef/basics.tex Fri Jul 30 14:59:32 1999 +0200 +++ b/doc-src/IsarRef/basics.tex Fri Jul 30 15:40:54 1999 +0200 @@ -1,11 +1,13 @@ -\chapter{Basic concepts} +\chapter{Basic Concepts} \section{Isabelle/Isar Theories} \section{The Isar proof language} -\subsection{Proof methods} +\subsection{Proof commands} + +\subsection{Methods} \subsection{Attributes}