Mon, 27 Jul 2015 22:44:02 +0200 | haftmann | formal class for factorial (semi)rings | changeset | files |
Mon, 27 Jul 2015 22:08:46 +0200 | wenzelm | merged | changeset | files |
Mon, 27 Jul 2015 17:56:08 +0200 | wenzelm | NEWS; | changeset | files |
Mon, 27 Jul 2015 17:44:55 +0200 | wenzelm | tuned signature; | changeset | files |
Mon, 27 Jul 2015 16:52:57 +0100 | paulson | New material for Cauchy's integral theorem | changeset | files |
Mon, 27 Jul 2015 16:35:12 +0200 | wenzelm | tuned signature for print_nested_cases; | changeset | files |