doc-src/IsarImplementation/intro.tex
author wenzelm
Thu Aug 31 22:55:49 2006 +0200 (2006-08-31 ago)
changeset 20451 27ea2ba48fa3
parent 18537 2681f9e34390
permissions -rw-r--r--
misc cleanup;
     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: