isabelle: Changelog

wenzelm [Mon, 11 Sep 2006 12:27:21 +0200] rev 20497

tuned;

huffman [Sun, 10 Sep 2006 05:34:24 +0200] rev 20496

added axclass division_ring (like field without commutativity; includes e.g. quaternions) and generalized some theorems from field to division_ring

huffman [Sat, 09 Sep 2006 18:28:42 +0200] rev 20495

cleaned up

wenzelm [Fri, 08 Sep 2006 19:44:43 +0200] rev 20494

tuned;

wenzelm [Fri, 08 Sep 2006 17:33:05 +0200] rev 20493

tuned;

haftmann [Fri, 08 Sep 2006 13:33:11 +0200] rev 20492

changed order of type classes and axclasses

wenzelm [Thu, 07 Sep 2006 20:12:08 +0200] rev 20491

tuned;

wenzelm [Thu, 07 Sep 2006 15:16:51 +0200] rev 20490

updated;

wenzelm [Thu, 07 Sep 2006 15:16:41 +0200] rev 20489

tentative appendix C;

wenzelm [Thu, 07 Sep 2006 15:16:26 +0200] rev 20488

tuned;

isabelle