src/HOL/Proofs/ex/XML_Data.thy

--- a/src/HOL/Proofs/ex/XML_Data.thy	Sat Nov 23 14:48:44 2019 +0100
+++ b/src/HOL/Proofs/ex/XML_Data.thy	Sat Nov 23 16:02:42 2019 +0100
@@ -52,7 +52,7 @@
   val thm = import_proof thy1 xml;
 
   val xml_size = size (YXML.string_of_body xml);
-  \<^assert> (xml_size > 400000);
+  \<^assert> (xml_size > 100000);
 \<close>
 
 end