[isabelle] Parallel sequences


I am currently working with sequences in Isabelle/ML
(src/Pure/General/seq.ML) and I was wondering if there is any support for
parallel execution of functions such as exists or forall for sequences,
e.g. ('a -> bool) -> 'a seq -> bool. I can see there is a library for
parallel lists (src/Pure/Concurrent/par_list.ML) but can not find something
similar for sequences.


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