ar/assignments/preamble.tex

   1 \documentclass{article}
   2
   3 \usepackage{a4wide}
   4 \usepackage{bm}
   5
   6 \everymath{\displaystyle}
   7
   8 \author{Mart Lubbers (s4109503)}
   9 \title{Automated reasoning Assignment 1}
  10 \date{\today}