Mon, 11 Sep 2006 12:27:30 +0200 | wenzelm | more rules; | changeset | files |
Mon, 11 Sep 2006 12:27:21 +0200 | wenzelm | tuned; | changeset | files |
Sun, 10 Sep 2006 05:34:24 +0200 | huffman | added axclass division_ring (like field without commutativity; includes e.g. quaternions) and generalized some theorems from field to division_ring | changeset | files |