Thanks for telling us how you resolved this problemThis seems like the kind
of thing that should go into a FAQ.


-- 
John Murph
Automated Logic Research Team

Reply via email to