1.1 --- a/doc-src/IsarRef/Makefile	Mon Aug 14 18:49:23 2000 +0200
     1.2 +++ b/doc-src/IsarRef/Makefile	Mon Aug 14 18:49:35 2000 +0200
     1.3 @@ -14,7 +14,7 @@
     1.4  NAME = isar-ref
     1.5  
     1.6  FILES = isar-ref.tex intro.tex basics.tex syntax.tex pure.tex \
     1.7 -	generic.tex hol.tex refcard.tex ../isar.sty \
     1.8 +	generic.tex hol.tex refcard.tex conversion.tex ../isar.sty \
     1.9  	../rail.sty ../railsetup.sty ../proof.sty ../iman.sty ../extra.sty ../manual.bib
    1.10  
    1.11  dvi: $(NAME).dvi

     2.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     2.2 +++ b/doc-src/IsarRef/conversion.tex	Mon Aug 14 18:49:35 2000 +0200
     2.3 @@ -0,0 +1,19 @@
     2.4 +
     2.5 +\chapter{The Isabelle/Isar Conversion Guide}
     2.6 +
     2.7 +\section{No conversion}
     2.8 +
     2.9 +FIXME thm, theory, bind_thm(s);
    2.10 +
    2.11 +
    2.12 +\section{Porting proof scripts}
    2.13 +
    2.14 +\section{Performing actual proof}
    2.15 +
    2.16 +FIXME
    2.17 +
    2.18 +
    2.19 +%%% Local Variables: 
    2.20 +%%% mode: latex
    2.21 +%%% TeX-master: "isar-ref"
    2.22 +%%% End: