--- a/thys2/UF_Rec.thy	Sat Jul 27 08:23:09 2013 +0200
+++ b/thys2/UF_Rec.thy	Tue Sep 03 15:02:52 2013 +0100
@@ -659,6 +659,6 @@
   "rec_eval rec_uf [m, cf] = UF m cf"
 by (simp add: rec_uf_def)
 
-value "size rec_uf"
+(* value "size rec_uf" *)
 end