[isabelle-dev] Broken AFP sessions

Makarius makarius at sketis.net
Tue Oct 6 23:19:14 CEST 2015


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


More information about the isabelle-dev mailing list