From 33eac1646844575bfd809bbe3334ede31baef5fc Mon Sep 17 00:00:00 2001
From: Peter Wu <peter@lekensteyn.nl>
Date: Mon, 5 Dec 2016 12:35:41 +0100
Subject: Initial commit

---
 part1.tex | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)
 create mode 100644 part1.tex

(limited to 'part1.tex')

diff --git a/part1.tex b/part1.tex
new file mode 100644
index 0000000..45279ff
--- /dev/null
+++ b/part1.tex
@@ -0,0 +1,24 @@
+\documentclass[12pt]{article}
+\usepackage{a4wide}
+\usepackage{latexsym}
+\usepackage{amssymb}
+\usepackage{epic}
+\usepackage{graphicx}
+%\pagestyle{empty}
+\newcommand{\tr}{\mbox{\sf true}}
+\newcommand{\fa}{\mbox{\sf false}}
+\newcommand{\bimp}{\leftrightarrow}     % bi-implication
+
+\title{Assignment part 1 for Automated Reasoning 2IMF25}
+\author{Koen van der Heijden, Peter Wu}
+\date{\today}
+
+\begin{document}
+\maketitle
+
+\section*{Problem: Trucks}
+
+
+\subsection*{Solution:}
+
+\end{document}
-- 
cgit v1.2.1

