| Mon, 26 Nov 2012 20:09:51 +0100 | wenzelm | convenience operations for table as set; | changeset | files |
| Mon, 26 Nov 2012 19:56:09 +0100 | wenzelm | removed remains of Oheimb's double-space (cf. 0a5af667dc75); | changeset | files |
| Mon, 26 Nov 2012 19:53:43 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 26 Nov 2012 17:13:44 +0100 | wenzelm | merged | changeset | files |
| Mon, 26 Nov 2012 16:01:04 +0100 | blanchet | updated two components | changeset | files |
| Mon, 26 Nov 2012 15:31:03 +0100 | blanchet | simplify code slightly | changeset | files |
| Mon, 26 Nov 2012 15:31:03 +0100 | blanchet | avoid non-ASCII sign | changeset | files |
| Mon, 26 Nov 2012 14:20:51 +0100 | kuncar | generate a parameterized correspondence relation | changeset | files |
| Mon, 26 Nov 2012 14:20:36 +0100 | kuncar | quot_thm_crel | changeset | files |
| Mon, 26 Nov 2012 14:15:48 +0100 | kuncar | add option_fold | changeset | files |
| Mon, 26 Nov 2012 14:11:31 +0100 | hoelzl | add binomial_ge_n_over_k_pow_k | changeset | files |
| Mon, 26 Nov 2012 13:50:25 +0100 | blanchet | removed tool that was never finished | changeset | files |
| Mon, 26 Nov 2012 13:35:05 +0100 | blanchet | added file headers | changeset | files |
| Mon, 26 Nov 2012 12:13:37 +0100 | blanchet | updated MaSh doc | changeset | files |