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



Hi,

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).


-- 
  Peter





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