| Thu, 23 Apr 2020 09:57:41 +0200 | nipkow | added lemmas | changeset | files |
| Tue, 21 Apr 2020 07:28:17 +0000 | haftmann | hooks for foundational terms: protection of foundational terms during simplification | changeset | files |
| Wed, 22 Apr 2020 19:22:43 +0200 | wenzelm | merged | changeset | files |
| Wed, 22 Apr 2020 18:38:21 +0200 | wenzelm | merged | changeset | files |
| 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 |