doc-src/IsarRef/basics.tex
author nipkow
Wed, 04 Aug 2004 11:25:08 +0200
changeset 15106 e8cef6993701
parent 7981 5120a2a15d06
permissions -rw-r--r--
aded comment
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
7046
9f755ff43cff skeleton only;
wenzelm
parents:
diff changeset
     1
7981
wenzelm
parents: 7895
diff changeset
     2
%FIXME
wenzelm
parents: 7895
diff changeset
     3
%\chapter{Basic Concepts}\label{ch:basics}
wenzelm
parents: 7895
diff changeset
     4
%\section{The Isar proof language}
7046
9f755ff43cff skeleton only;
wenzelm
parents:
diff changeset
     5
9f755ff43cff skeleton only;
wenzelm
parents:
diff changeset
     6
%%% Local Variables: 
9f755ff43cff skeleton only;
wenzelm
parents:
diff changeset
     7
%%% mode: latex
9f755ff43cff skeleton only;
wenzelm
parents:
diff changeset
     8
%%% TeX-master: "isar-ref"
9f755ff43cff skeleton only;
wenzelm
parents:
diff changeset
     9
%%% End: