| Tue, 24 Jul 2012 17:34:46 +0200 | wenzelm | modernized imports; | file | diff | annotate |
| Sun, 25 Mar 2012 20:15:39 +0200 | huffman | merged fork with new numeral representation (see NEWS) | file | diff | annotate |
| Mon, 26 Apr 2010 15:37:50 +0200 | haftmann | use new classes (linordered_)field_inverse_zero | file | diff | annotate |
| Mon, 26 Apr 2010 11:34:17 +0200 | haftmann | class division_ring_inverse_zero | file | diff | annotate |
| Fri, 05 Feb 2010 14:33:50 +0100 | haftmann | more consistent naming of type classes involving orderings (and lattices) -- c.f. NEWS | file | diff | annotate |
| Wed, 29 Apr 2009 14:20:26 +0200 | haftmann | farewell to class recpower | file | diff | annotate |
| Sun, 05 Apr 2009 19:21:51 +0100 | chaieb | No Complex_Main needed | file | diff | annotate |
| Wed, 11 Mar 2009 08:45:47 +0100 | haftmann | moved Decision_Procs examples to Decision_Procs/ex | file | diff | annotate | base |