changeset 26846 | 2e6726015771 |
parent 26840 | ec46381f149d |
child 26848 | d3d750ada604 |
1.1 --- a/doc-src/IsarRef/isar-ref.tex Wed May 07 13:38:15 2008 +0200 1.2 +++ b/doc-src/IsarRef/isar-ref.tex Wed May 07 15:32:31 2008 +0200 1.3 @@ -86,7 +86,7 @@ 1.4 1.5 \appendix 1.6 \input{Thy/document/Quick_Reference.tex} 1.7 -\input{conversion.tex} 1.8 +\input{Thy/document/ML_Tactic.tex} 1.9 1.10 \begingroup 1.11 \bibliographystyle{plain} \small\raggedright\frenchspacing