On Sunday 17 October 2004 15:29, Peter Stranney wrote: > any help on this, even a polymorphic type function would be greatly > appreciated Thank you the property for x to be a subsequence of y holds if x is a prefix of any of y tails, doesn't it? V.