+++ /dev/null
-\documentclass[titlepage]{article}
-
-\usepackage{a4wide}
-\usepackage[dvipdfm]{hyperref}
-\usepackage{listings}
-\usepackage{graphicx}
-\usepackage{multirow}
-\usepackage{float}
-\usepackage{tabu}
-\usepackage{tabularx}
-\usepackage{longtable}
-\usepackage{amsfonts}
-\usepackage{xspace}
-\newcommand{\xmark}{\texttt{\textbf{x}}}
-
-\newcounter{TCC}
-\newcommand{\doTCC}{\theTCC \stepcounter{TCC}}
-
-\newcommand{\GAST}{G$\forall$ST\xspace}
-
-\lstset{%
- breakatwhitespace=false, % sets if automatic breaks should only happen at whitespace
- breaklines=true, % sets automatic line breaking
- frame=single, % adds a frame around the code
- tabsize=4
-}
-
-\author{%
- Charlie Gerhardus\and
- Pim Jager\and
- Mart Lubbers
-}
-\title{Model based testing of TCP}
-\date{\today}