Trouble with the pattern matcher ...



On 9/12/2013 7:22 PM, Robert Dodier wrote:
<snip>
> - as far as I can see, you'll have to do
> most of the work.
Or you could just use the program on page 5 of the paper I mentioned.
RJF