doc-src/IsarImplementation/intro.tex
author wenzelm
Tue Sep 19 23:15:28 2006 +0200 (2006-09-19)
changeset 20622 e1a573146be5
parent 18537 2681f9e34390
permissions -rw-r--r--
tuned proofs;
     1 
     2 %% $Id$
     3 
     4 \chapter{Introduction}
     5 
     6 FIXME
     7 
     8 \nocite{Wenzel-PhD}
     9 
    10 %%% Local Variables: 
    11 %%% mode: latex
    12 %%% TeX-master: "implementation"
    13 %%% End: