Automated Reasoning 2015
========================
-###Required latex packages for building the report.
+###Required software and libraries to build the report.
- Latex packages:
- hyperref
- a4wide
###Licence
+```
You are allowed to do anything you want with it except for handing this, or
parts of it, in as a solution for the Automated Reasoning course 2015 at the
Radboud University Nijmegen or the Automated Reasoning course 2015 at the
Eindhoven University of Technology
+```