[isabelle] Multi-dimensional arrays

Is there currently a theory for multi-dimensional arrays?  I have found 
something called the Collections framework, but I do not know if this 
fits the bill.  I am looking to create a theory based on the Mathematics 
of Arrays, but if there was already a base for arrays, I would take that 
as a starting point.

Aaron W. Hsu | arcfide at sacrideo.us | http://www.sacrideo.us
Programming is just another word for the lost art of thinking.

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.