author | wenzelm |
Fri, 30 Jul 1999 15:40:54 +0200 | |
changeset 7135 | 8eabfd7e6b9b |
parent 7046 | 9f755ff43cff |
child 7297 | c1eeeadbe80a |
permissions | -rw-r--r-- |
7046 | 1 |
|
7135 | 2 |
\chapter{Basic Concepts} |
7046 | 3 |
|
4 |
\section{Isabelle/Isar Theories} |
|
5 |
||
6 |
\section{The Isar proof language} |
|
7 |
||
7135 | 8 |
\subsection{Proof commands} |
9 |
||
10 |
\subsection{Methods} |
|
7046 | 11 |
|
12 |
\subsection{Attributes} |
|
13 |
||
14 |
||
15 |
%%% Local Variables: |
|
16 |
%%% mode: latex |
|
17 |
%%% TeX-master: "isar-ref" |
|
18 |
%%% End: |