doc-src/IsarRef/isar-ref.tex
changeset 48171 28a6d67c93f0
parent 48057 72197611f1e9
child 48956 d54a3d39ba85
equal deleted inserted replaced
48170:9b41d34450e8 48171:28a6d67c93f0
     1 \documentclass[12pt,a4paper,fleqn]{report}
     1 \documentclass[12pt,a4paper,fleqn]{report}
     2 \usepackage{amssymb}
     2 \usepackage{amssymb}
     3 \usepackage[greek,english]{babel}
     3 \usepackage{eurosym}
       
     4 \usepackage[english]{babel}
     4 \usepackage[only,bigsqcap]{stmaryrd}
     5 \usepackage[only,bigsqcap]{stmaryrd}
     5 \usepackage{textcomp}
     6 \usepackage{textcomp}
     6 \usepackage{latexsym}
     7 \usepackage{latexsym}
     7 \usepackage{graphicx}
     8 \usepackage{graphicx}
     8 \let\intorig=\int  %iman.sty redefines \int
     9 \let\intorig=\int  %iman.sty redefines \int