| Tue, 07 Oct 2014 10:34:24 +0200 | hoelzl | add Giry monad | changeset | files |
| Mon, 06 Oct 2014 21:21:46 +0200 | nipkow | tuned | changeset | files |
| Mon, 06 Oct 2014 19:55:49 +0200 | wenzelm | improved spelling of formal INCOMPATIBILITY in historic versions (!) -- to avoid ad-hoc word completion multiply such lapses; | changeset | files |