You might try Viewpoint's model libraries "www.viewpoint.com". If they
don't have it, I don't know who would.
For more information about the rp-ml, see http://ltk.hut.fi/rp-ml/
This archive was generated by hypermail 2.1.2 : Tue Jun 05 2001 - 23:03:11 EEST