On Tue, 18 Feb 2014, Makarius wrote: > This refers to Isabelle/892a425c5eaa and AFP/d2082ef48089: > > No such file: > "/Users/makarius/isabelle/afp-devel/thys/Random_Graph_Subgraph_Threshold/Big_Operators.thy" We are back to normal in AFP/b792ab19f843. Makarius