--- a/Paper/document/root.tex	Wed Mar 17 15:13:03 2010 +0100
+++ b/Paper/document/root.tex	Wed Mar 17 15:13:31 2010 +0100
@@ -1,4 +1,5 @@
-\documentstyle[epsf]{acmconf}
+\documentclass{article}
+%%\documentclass[epsf]{acmconf}
 \usepackage{isabelle,isabellesym}
 
 % further packages required for unusual symbols (see also