doc-src/IsarRef/basics.tex
author wenzelm
Mon Jul 19 17:08:05 1999 +0200 (1999-07-19)
changeset 7046 9f755ff43cff
child 7135 8eabfd7e6b9b
permissions -rw-r--r--
skeleton only;
     1 
     2 \chapter{Basic concepts}
     3 
     4 \section{Isabelle/Isar Theories}
     5 
     6 \section{The Isar proof language}
     7 
     8 \subsection{Proof methods}
     9 
    10 \subsection{Attributes}
    11 
    12 
    13 %%% Local Variables: 
    14 %%% mode: latex
    15 %%% TeX-master: "isar-ref"
    16 %%% End: