merge

--- a/src/Tools/Code/code_target.ML	Tue Apr 13 11:40:03 2010 +0200
+++ b/src/Tools/Code/code_target.ML	Tue Apr 13 11:40:55 2010 +0200
@@ -165,8 +165,6 @@
 
 val abort_allowed = snd o fst o Targets.get;
 
-val the_default_width = snd o Targets.get;
-
 fun assert_target thy target = if Symtab.defined ((fst o fst) (Targets.get thy)) target
   then target
   else error ("Unknown code target language: " ^ quote target);