doc-src/IsarImplementation/intro.tex
author haftmann
Fri Dec 29 12:11:04 2006 +0100 (2006-12-29)
changeset 21927 9677abe5d374
parent 18537 2681f9e34390
permissions -rw-r--r--
added handling for explicit classrel witnesses
     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: