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;
     1 
     2 %FIXME
     3 %\chapter{Basic Concepts}\label{ch:basics}
     4 %\section{The Isar proof language}
     5 
     6 %%% Local Variables: 
     7 %%% mode: latex
     8 %%% TeX-master: "isar-ref"
     9 %%% End: