[m-dev.] array.m: remove type_to_term and term_to_type

[Peter Schachte]

On Sat, 26 Jul 1997, Fergus Henderson wrote:

> library/array.m:
> 	Remove definitions for type_to_term and term_to_type for arrays.
> 	That is now done in term.m.

Wouldn't it be better to leave behind some comment that these conversions
are needed, and they are currently implemented in term.m, but that one day
that code should migrate back to array.m?


-Peter Schachte      URL:  http://www.cs.mu.oz.au/~pets/
pets at cs.mu.OZ.AU     PGP:  finger pets at 128.250.37.150 for key
    Do insects spend hours demammaling their programs?