--- a/IntEx.thy	Sat Nov 21 14:45:25 2009 +0100
+++ b/IntEx.thy	Sat Nov 21 23:23:01 2009 +0100
@@ -119,6 +119,8 @@
 where
  "SIGN i = (if i = ZERO then ZERO else if (LESS ZERO i) then ONE else (NEG ONE))"
 
+
+
 ML {* print_qconstinfo @{context} *}
 
 ML {* print_qconstinfo @{context} *}