| Mon, 10 Aug 2009 18:12:55 +0200 | nipkow | added bij lemmas | changeset | files |
| Mon, 10 Aug 2009 17:00:41 +0200 | nipkow | new lemma bij_comp | changeset | files |
| Sat, 08 Aug 2009 11:40:22 +0200 | wenzelm | refined mac-poly64 tests; | changeset | files |
| Fri, 07 Aug 2009 19:16:04 +0200 | wenzelm | tuned spacing of sections; | changeset | files |
| Thu, 06 Aug 2009 22:30:27 +0200 | wenzelm | more platforms; | changeset | files |
| Thu, 06 Aug 2009 20:46:33 +0200 | wenzelm | tuned header; | changeset | files |
| Thu, 06 Aug 2009 19:51:59 +0200 | wenzelm | misc changes to SOS by Philipp Meyer: | changeset | files |