diff -r 9dc5ce83202c -r f5f9fad3321c src/Pure/Isar/attrib.ML
--- a/src/Pure/Isar/attrib.ML	Sat Mar 08 21:08:10 2014 +0100
+++ b/src/Pure/Isar/attrib.ML	Sat Mar 08 21:31:12 2014 +0100
@@ -302,7 +302,7 @@
 in
 
 fun partial_evaluation ctxt facts =
-  (facts, Context.Proof (Context_Position.set_visible false ctxt)) |->
+  (facts, Context.Proof ctxt) |->
     fold_map (fn ((b, more_atts), fact) => fn context =>
       let
         val (fact', (decls, context')) =