[isabelle] Vector of bools



Hi,

I see that one can use real_vector to construct a vector of reals, but is
there a way to construct a vector of boolean values, e.g.,
<true,false,false...>?

Thanks a lot.

Steve




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