doc-src/IsarRef/basics.tex
changeset 7046 9f755ff43cff
child 7135 8eabfd7e6b9b
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/doc-src/IsarRef/basics.tex	Mon Jul 19 17:08:05 1999 +0200
     1.3 @@ -0,0 +1,16 @@
     1.4 +
     1.5 +\chapter{Basic concepts}
     1.6 +
     1.7 +\section{Isabelle/Isar Theories}
     1.8 +
     1.9 +\section{The Isar proof language}
    1.10 +
    1.11 +\subsection{Proof methods}
    1.12 +
    1.13 +\subsection{Attributes}
    1.14 +
    1.15 +
    1.16 +%%% Local Variables: 
    1.17 +%%% mode: latex
    1.18 +%%% TeX-master: "isar-ref"
    1.19 +%%% End: