doc-src/IsarRef/intro.tex
author wenzelm
Mon Jul 19 17:08:05 1999 +0200 (1999-07-19)
changeset 7046 9f755ff43cff
child 7167 0b2e3ef1d8f4
permissions -rw-r--r--
skeleton only;
wenzelm@7046
     1
wenzelm@7046
     2
\chapter{Introduction}
wenzelm@7046
     3
wenzelm@7046
     4
%%% Local Variables: 
wenzelm@7046
     5
%%% mode: latex
wenzelm@7046
     6
%%% TeX-master: "isar-ref"
wenzelm@7046
     7
%%% End: