equal
deleted
inserted
replaced
1 \documentclass[12pt]{report} |
1 \documentclass[12pt]{report} |
2 \usepackage{graphicx,a4,../iman,../extra,../proof,../rail,../pdfsetup} |
2 \usepackage{graphicx,a4,../iman,../extra,../proof,../rail,../pdfsetup} |
3 |
3 |
4 %% $Id$ |
4 %% $Id$ |
5 %%\includeonly{} |
5 %\includeonly{introduction} |
6 %%% to index ids: \[\\tt \([a-zA-Z0-9][a-zA-Z0-9_'.]*\) [\\ttindexbold{\1} |
6 %%% to index ids: \[\\tt \([a-zA-Z0-9][a-zA-Z0-9_'.]*\) [\\ttindexbold{\1} |
7 %%% to delete old ones: \\indexbold{\*[^}]*} |
7 %%% to delete old ones: \\indexbold{\*[^}]*} |
8 %% run sedindex ref to prepare index file |
8 %% run sedindex ref to prepare index file |
9 %%% needs chapter on Provers/typedsimp.ML? |
9 %%% needs chapter on Provers/typedsimp.ML? |
10 \title{\includegraphics[scale=0.5]{isabelle.eps} \\[4ex] The Isabelle Reference Manual} |
10 \title{\includegraphics[scale=0.5]{isabelle.eps} \\[4ex] The Isabelle Reference Manual} |