equal
deleted
inserted
replaced
1 \documentclass[dvipsnames, 14pt,t]{beamer} |
1 \documentclass[dvipsnames, 14pt,t]{beamer} |
2 \usepackage{beamerthemeplaincu} |
2 \usepackage{beamerthemeplaincu} |
3 %%\usepackage{ulem} |
3 %%\usepackage{ulem} |
4 \usepackage[T1]{fontenc} |
4 %\usepackage[T1]{fontenc} |
5 \usepackage{proof} |
5 \usepackage{proof} |
6 \usepackage[latin1]{inputenc} |
6 %\usepackage[latin1]{inputenc} |
7 \usepackage{isabelle} |
7 \usepackage{isabelle} |
8 \usepackage{isabellesym} |
8 \usepackage{isabellesym} |
9 \usepackage{mathpartir} |
9 \usepackage{mathpartir} |
10 \usepackage[absolute, overlay]{textpos} |
10 \usepackage[absolute, overlay]{textpos} |
11 \usepackage{proof} |
11 \usepackage{proof} |