| Tue, 26 Mar 2013 12:20:54 +0100 | hoelzl | move real_isLub_unique to isLub_unique in Lubs; real_sum_of_halves to RealDef; abs_diff_less_iff to Rings | file | diff | annotate |
| Thu, 16 Feb 2012 22:54:40 +0100 | wenzelm | more symbols; | file | diff | annotate |
| Fri, 27 Mar 2009 10:05:11 +0100 | haftmann | normalized imports | file | diff | annotate |
| Wed, 28 Jan 2009 11:03:16 +0100 | haftmann | Plain, Main form meeting points in import hierarchy | file | diff | annotate |
| Wed, 03 Dec 2008 15:58:44 +0100 | haftmann | made repository layout more coherent with logical distribution structure; stripped some $Id$s | file | diff | annotate | base |