equal
deleted
inserted
replaced
111 % since * cannot be used in text {*...*} |
111 % since * cannot be used in text {*...*} |
112 \newenvironment{tabularstar}[2] |
112 \newenvironment{tabularstar}[2] |
113 {\begin{tabular*}{#1}{#2}}{\end{tabular*}} |
113 {\begin{tabular*}{#1}{#2}}{\end{tabular*}} |
114 |
114 |
115 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
115 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
116 % short hands |
|
117 \def\simpleinductive{\isacommand{simple\isacharunderscore{}inductive}} |
|
118 |
|
119 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
116 \begin{document} |
120 \begin{document} |
117 |
121 |
118 \title{\mbox{}\\[-10ex] |
122 \title{\mbox{}\\[-10ex] |
119 \includegraphics[scale=0.5]{cookbook-logo.jpg}\\[3ex] |
123 \includegraphics[scale=0.5]{cookbook-logo.jpg}\\[3ex] |
120 The Isabelle Programming Tutorial (fragment)} |
124 The Isabelle Programming Tutorial (fragment)} |