doc-src/IsarRef/basics.tex
author wenzelm
Sat Oct 30 20:13:16 1999 +0200 (1999-10-30)
changeset 7981 5120a2a15d06
parent 7895 7c492d8bc8e3
permissions -rw-r--r--
tuned;
wenzelm@7046
     1
wenzelm@7981
     2
%FIXME
wenzelm@7981
     3
%\chapter{Basic Concepts}\label{ch:basics}
wenzelm@7981
     4
%\section{The Isar proof language}
wenzelm@7046
     5
wenzelm@7046
     6
%%% Local Variables: 
wenzelm@7046
     7
%%% mode: latex
wenzelm@7046
     8
%%% TeX-master: "isar-ref"
wenzelm@7046
     9
%%% End: