[isabelle] Where has HOL/ex/Random.thy gone ?


in HOL/Library/State_Monad.thy, HOL/ex/Random.thy is mentioned as an
example for the
do ... done - syntax.

However, it seems as if this theory has been removed in the
2009-version. (The reference in State_Monad.thy is still there).


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.