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