src/Doc/Isar_Ref/document/root.tex
changeset 59974 b911c8ba0b69
parent 57590 06cb5375e189
child 60185 cc71f01f9fde
child 60286 410115884a92
     1.1 --- a/src/Doc/Isar_Ref/document/root.tex	Wed Apr 08 20:41:56 2015 +0200
     1.2 +++ b/src/Doc/Isar_Ref/document/root.tex	Wed Apr 08 21:08:26 2015 +0200
     1.3 @@ -1,6 +1,7 @@
     1.4  \documentclass[12pt,a4paper,fleqn]{report}
     1.5  \usepackage[T1]{fontenc}
     1.6  \usepackage{amssymb}
     1.7 +\usepackage{wasysym}
     1.8  \usepackage{eurosym}
     1.9  \usepackage[english]{babel}
    1.10  \usepackage[only,bigsqcap]{stmaryrd}