equal
deleted
inserted
replaced
1 \documentclass[a4paper,12pt]{article} |
1 \documentclass[a4paper,12pt]{article} |
2 \usepackage[T1]{fontenc} |
2 \usepackage[T1]{fontenc} |
3 \usepackage{amsmath} |
3 \usepackage{amsmath} |
4 \usepackage{amssymb} |
4 \usepackage{amssymb} |
5 \usepackage[english]{babel} |
|
6 \usepackage{color} |
5 \usepackage{color} |
7 \usepackage{footmisc} |
6 \usepackage{footmisc} |
8 \usepackage{graphicx} |
7 \usepackage{graphicx} |
9 %\usepackage{mathpazo} |
8 %\usepackage{mathpazo} |
10 \usepackage{multicol} |
9 \usepackage{multicol} |
30 \def\unk{{\_}} |
29 \def\unk{{\_}} |
31 \def\unkef{(\lambda x.\; \unk)} |
30 \def\unkef{(\lambda x.\; \unk)} |
32 \def\undef{(\lambda x.\; \_)} |
31 \def\undef{(\lambda x.\; \_)} |
33 %\def\unr{\textit{others}} |
32 %\def\unr{\textit{others}} |
34 \def\unr{\ldots} |
33 \def\unr{\ldots} |
35 \def\Abs#1{\hbox{\rm{\flqq}}{\,#1\,}\hbox{\rm{\frqq}}} |
34 \def\Abs#1{\hbox{\rm{\guillemetleft}}{\,#1\,}\hbox{\rm{\guillemetright}}} |
36 \def\Q{{\smash{\lower.2ex\hbox{$\scriptstyle?$}}}} |
35 \def\Q{{\smash{\lower.2ex\hbox{$\scriptstyle?$}}}} |
37 |
36 |
38 \hyphenation{Mini-Sat size-change First-Steps grand-parent nit-pick |
37 \hyphenation{Mini-Sat size-change First-Steps grand-parent nit-pick |
39 counter-example counter-examples data-type data-types co-data-type |
38 counter-example counter-examples data-type data-types co-data-type |
40 co-data-types in-duc-tive co-in-duc-tive} |
39 co-data-types in-duc-tive co-in-duc-tive} |