[isabelle] Non-determinism



Dear all,
it's possible to do a non-deterministic assignment in Isabelle, or simulate
it?

Or, it's possible generate a random integer?

Thanks in advance for the collaboration.

Gabriele




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