--- a/document/root.tex	Sun Dec 30 14:58:48 2012 +0000
+++ b/document/root.tex	Sun Dec 30 21:18:39 2012 +0000
@@ -1,26 +1,8 @@
 \documentclass[10pt, conference, compsocconf]{IEEEtran}
-\usepackage{isabelle,isabellesym}
-
-%\usepackage{amssymb}
-  %for \<leadsto>, \<box>, \<diamond>, \<sqsupset>, \<mho>, \<Join>,
-  %\<lhd>, \<lesssim>, \<greatersim>, \<lessapprox>, \<greaterapprox>,
-  %\<triangleq>, \<yen>, \<lozenge>
-
-%\usepackage[greek,english]{babel}
-  %option greek for \<euro>
-  %option english (default language) for \<guillemotleft>, \<guillemotright>
-
-%\usepackage[only,bigsqcap]{stmaryrd}
-  %for \<Sqinter>
-
-%\usepackage{eufrak}
-  %for \<AA> ... \<ZZ>, \<aa> ... \<zz> (also included in amssymb)
-
-%\usepackage{textcomp}
-  %for \<onequarter>, \<onehalf>, \<threequarters>, \<degree>, \<cent>,
-  %\<currency>
-
-% this should be the last package used
+\usepackage{isabelle}
+\usepackage{isabellesym}
+\usepackage{times}
+\usepackage{amssymb}
 \usepackage{mathpartir}
 \usepackage{pdfsetup}
 
@@ -67,15 +49,6 @@
 
 \IEEEpeerreviewmaketitle
 
-
-%\tableofcontents
-
-% sane default for proof documents
-\parindent 0pt\parskip 0.5ex
-
-
-
-
 % generated text of all theories
 \input{session}