[isabelle] latest library for ring theory?



hi
i am interested in possibly formalizing some commutative ring
theory (noetherian condition, prime decomposition, regular sequence, etc).
i am wondering what is the latest development in this area?
the most developed library i can find seems to be
http://afp.sourceforge.net/entries/Group-Ring-Module.shtml
but its dated 2004, is there any newer version?
is there any other related on-going work?
thanks
tao




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