equal
deleted
inserted
replaced
9 \usepackage{pdfsetup} |
9 \usepackage{pdfsetup} |
10 \usepackage{ot1patch} |
10 \usepackage{ot1patch} |
11 \usepackage{times} |
11 \usepackage{times} |
12 \usepackage{boxedminipage} |
12 \usepackage{boxedminipage} |
13 |
13 |
|
14 |
14 \urlstyle{rm} |
15 \urlstyle{rm} |
15 \isabellestyle{it} |
16 \isabellestyle{it} |
16 \renewcommand{\isastyleminor}{\it}% |
17 \renewcommand{\isastyleminor}{\it}% |
17 \renewcommand{\isastyle}{\normalsize\it}% |
18 \renewcommand{\isastyle}{\normalsize\it}% |
18 |
19 |
21 \renewcommand{\isacharunderscore}{\mbox{$\_\!\_$}} |
22 \renewcommand{\isacharunderscore}{\mbox{$\_\!\_$}} |
22 \renewcommand{\isasymbullet}{{\raisebox{-0.4mm}{\Large$\boldsymbol{\cdot}$}}} |
23 \renewcommand{\isasymbullet}{{\raisebox{-0.4mm}{\Large$\boldsymbol{\cdot}$}}} |
23 \def\dn{\,\stackrel{\mbox{\scriptsize def}}{=}\,} |
24 \def\dn{\,\stackrel{\mbox{\scriptsize def}}{=}\,} |
24 \renewcommand{\isasymequiv}{$\dn$} |
25 \renewcommand{\isasymequiv}{$\dn$} |
25 %%\renewcommand{\isasymiota}{} |
26 %%\renewcommand{\isasymiota}{} |
26 \renewcommand{\isasymxi}{$\ldots$} |
27 \renewcommand{\isasymxi}{$..$} |
27 \renewcommand{\isasymemptyset}{$\varnothing$} |
28 \renewcommand{\isasymemptyset}{$\varnothing$} |
28 \newcommand{\isasymnotapprox}{$\not\approx$} |
29 \newcommand{\isasymnotapprox}{$\not\approx$} |
29 \newcommand{\isasymLET}{$\mathtt{let}$} |
30 \newcommand{\isasymLET}{$\mathtt{let}$} |
30 \newcommand{\isasymAND}{$\mathtt{and}$} |
31 \newcommand{\isasymAND}{$\mathtt{and}$} |
31 \newcommand{\isasymIN}{$\mathtt{in}$} |
32 \newcommand{\isasymIN}{$\mathtt{in}$} |