| 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 |