Wed, 06 Dec 2000 21:53:05 +0100 | wenzelm | tuned; | file | diff | annotate |
Wed, 06 Dec 2000 17:03:26 +0100 | bauerg | some derived properties; | file | diff | annotate |
Thu, 30 Nov 2000 14:10:23 +0100 | bauerg | some properties; | file | diff | annotate |
Tue, 21 Nov 2000 16:25:32 +0100 | bauerg | ; | file | diff | annotate |
Sat, 18 Nov 2000 19:47:12 +0100 | wenzelm | axclass ordered_ring; | file | diff | annotate |
Sat, 18 Nov 2000 00:32:08 +0100 | wenzelm | added axclass ordered_field; | file | diff | annotate |
Fri, 17 Nov 2000 18:49:09 +0100 | wenzelm | tuned; | file | diff | annotate |
Thu, 16 Nov 2000 23:12:58 +0100 | bauerg | rings and fields; | file | diff | annotate |