[isabelle-dev] Broken AFP sessions

[Makarius]

Here are some more proof failures (Isabelle/5b5656a63bd6 and 
AFP/21bdf9fbf229):

Integration FAILED
*** At command "by" (line 1724 of "~/isabelle/afp-devel/thys/Integration/Integral.thy")

Markov_Models FAILED
*** At command "done" (line 1038 of "~/isabelle/afp-devel/thys/Markov_Models/Classifying_Markov_Chain_States.thy")
*** At command "by" (line 1077 of "~/isabelle/afp-devel/thys/Markov_Models/Classifying_Markov_Chain_States.thy")

Ordinary_Differential_Equations FAILED
*** At command "by" (line 804 of "~/isabelle/afp-devel/thys/Ordinary_Differential_Equations/IVP/Initial_Value_Problem.thy")
*** At command "by" (line 704 of "~/isabelle/afp-devel/thys/Ordinary_Differential_Equations/IVP/Initial_Value_Problem.thy")


 	Makarius