Sat, 31 Oct 2015 14:16:29 +0100 | wenzelm | global start time as reference point; | changeset | files |
Fri, 30 Oct 2015 17:14:30 +0100 | wenzelm | tuned signature -- clarified modules; | changeset | files |
Fri, 30 Oct 2015 16:31:37 +0100 | wenzelm | obsolete (see 9c6346319eee, 7924d61b50cf); | changeset | files |
Fri, 30 Oct 2015 20:01:05 +0100 | nipkow | added splay trees | changeset | files |
Thu, 29 Oct 2015 15:40:52 +0100 | eberlm | added many small lemmas about setsum/setprod/powr/... | changeset | files |
Tue, 27 Oct 2015 23:18:32 +0100 | wenzelm | no icons here -- not a standalone window; | changeset | files |