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