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;
wenzelm@7046
     1
wenzelm@7135
     2
\chapter{Basic Concepts}
wenzelm@7046
     3
wenzelm@7046
     4
\section{Isabelle/Isar Theories}
wenzelm@7046
     5
wenzelm@7046
     6
\section{The Isar proof language}
wenzelm@7046
     7
wenzelm@7135
     8
\subsection{Proof commands}
wenzelm@7135
     9
wenzelm@7135
    10
\subsection{Methods}
wenzelm@7046
    11
wenzelm@7046
    12
\subsection{Attributes}
wenzelm@7046
    13
wenzelm@7046
    14
wenzelm@7046
    15
%%% Local Variables: 
wenzelm@7046
    16
%%% mode: latex
wenzelm@7046
    17
%%% TeX-master: "isar-ref"
wenzelm@7046
    18
%%% End: