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 |
Mon, 26 Nov 2012 12:04:32 +0100 | blanchet | moved MaSh's Python code into Isabelle | changeset | files |
Mon, 26 Nov 2012 11:46:19 +0100 | blanchet | updated NEWS etc. | changeset | files |