| Mon, 04 Jul 2016 19:46:19 +0200 | haftmann | relating gbinomial and binomial, still using distinct definitions | changeset | files |
| Mon, 04 Jul 2016 19:08:54 +0200 | wenzelm | clarified fact position, notably for reports on literal facts; | changeset | files |
| Mon, 04 Jul 2016 14:51:19 +0200 | wenzelm | more accurate facts index; | changeset | files |
| Mon, 04 Jul 2016 11:11:19 +0200 | wenzelm | tuned signature; | changeset | files |