| Wed, 22 Apr 2020 18:37:25 +0200 | wenzelm | avoid deprecated operations; | changeset | files |
| Wed, 22 Apr 2020 18:37:09 +0200 | wenzelm | tuned -- avoid odd compiler warning; | changeset | files |
| Wed, 22 Apr 2020 18:16:48 +0200 | wenzelm | avoid deprecated operations; | changeset | files |
| Wed, 22 Apr 2020 18:16:27 +0200 | wenzelm | deprecated and obsolete; | changeset | files |
| Wed, 22 Apr 2020 17:52:14 +0200 | wenzelm | tuned signature -- avoid warnings; | changeset | files |
| Wed, 22 Apr 2020 13:45:02 +0200 | wenzelm | more informative error; | changeset | files |
| Wed, 22 Apr 2020 17:22:17 +0200 | nipkow | new funs successive and distinct_adj | changeset | files |
| Wed, 22 Apr 2020 11:50:23 +0200 | nipkow | added lemmas | changeset | files |