equal
deleted
inserted
replaced
8 \usepackage{graphicx} |
8 \usepackage{graphicx} |
9 %\usepackage{mathpazo} |
9 %\usepackage{mathpazo} |
10 \usepackage{multicol} |
10 \usepackage{multicol} |
11 \usepackage{stmaryrd} |
11 \usepackage{stmaryrd} |
12 %\usepackage[scaled=.85]{beramono} |
12 %\usepackage[scaled=.85]{beramono} |
13 \usepackage{../isabelle,../iman,../pdfsetup} |
13 \usepackage{../../lib/texinputs/isabelle,../iman,../pdfsetup} |
14 |
14 |
15 %\oddsidemargin=4.6mm |
15 %\oddsidemargin=4.6mm |
16 %\evensidemargin=4.6mm |
16 %\evensidemargin=4.6mm |
17 %\textwidth=150mm |
17 %\textwidth=150mm |
18 %\topmargin=4.6mm |
18 %\topmargin=4.6mm |