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,french]{babel} |
5 \usepackage[english]{babel} |
6 \usepackage{color} |
6 \usepackage{color} |
7 \usepackage{footmisc} |
7 \usepackage{footmisc} |
8 \usepackage{graphicx} |
8 \usepackage{graphicx} |
9 %\usepackage{mathpazo} |
9 %\usepackage{mathpazo} |
10 \usepackage{multicol} |
10 \usepackage{multicol} |
45 \begin{document} |
45 \begin{document} |
46 |
46 |
47 %%% TYPESETTING |
47 %%% TYPESETTING |
48 %\renewcommand\labelitemi{$\bullet$} |
48 %\renewcommand\labelitemi{$\bullet$} |
49 \renewcommand\labelitemi{\raise.065ex\hbox{\small\textbullet}} |
49 \renewcommand\labelitemi{\raise.065ex\hbox{\small\textbullet}} |
50 |
|
51 \selectlanguage{english} |
|
52 |
50 |
53 \title{\includegraphics[scale=0.5]{isabelle_sledgehammer} \\[4ex] |
51 \title{\includegraphics[scale=0.5]{isabelle_sledgehammer} \\[4ex] |
54 Hammering Away \\[\smallskipamount] |
52 Hammering Away \\[\smallskipamount] |
55 \Large A User's Guide to Sledgehammer for Isabelle/HOL} |
53 \Large A User's Guide to Sledgehammer for Isabelle/HOL} |
56 \author{\hbox{} \\ |
54 \author{\hbox{} \\ |