diff -r f659ce282610 -r f296ef291ca9 Paper/document/root.tex
--- a/Paper/document/root.tex	Wed Jun 30 16:56:37 2010 +0100
+++ b/Paper/document/root.tex	Thu Jul 01 01:53:00 2010 +0100
@@ -80,7 +80,7 @@
 convention already built in.
 \end{abstract}
 
-\category{CR-number}{subcategory}{third-level}
+%\category{F.4.1}{subcategory}{third-level}
 
 \terms
 formal reasoning, programming language calculi