[isabelle] Linear Ordering for nat list

I want to do something like "Max {[0,1],[1,0]}" but I think that I need 
to somehow define a linear ordering on "nat list", am I right?  Is there 
somewhere that I can read about how to do this?

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.