changeset 41179 | 7d88ebdce380 |
parent 30569 | 696f93184f0d |
child 43382 | bf89455ccf9d |
1.1 --- a/doc-src/IsarRef/isar-ref.tex Thu Dec 02 21:23:56 2010 +0100 1.2 +++ b/doc-src/IsarRef/isar-ref.tex Thu Dec 02 23:09:54 2010 +0100 1.3 @@ -1,7 +1,6 @@ 1.4 \documentclass[12pt,a4paper,fleqn]{report} 1.5 \usepackage{amssymb} 1.6 \usepackage[greek,english]{babel} 1.7 -\usepackage[latin1]{inputenc} 1.8 \usepackage[only,bigsqcap]{stmaryrd} 1.9 \usepackage{textcomp} 1.10 \usepackage{latexsym}