| Sun, 06 Apr 2025 14:20:41 +0200 | haftmann | reflect nested lists in variables names | changeset | files |
| Sat, 05 Apr 2025 23:51:52 +0200 | nipkow | Simplified lemma (as suggetsed by Stepan Holub) | changeset | files |
| Sat, 05 Apr 2025 08:49:53 +0200 | haftmann | incorporate target-language integer implementation of bit shifts into Main | changeset | files |
| Fri, 04 Apr 2025 23:12:20 +0200 | haftmann | represent constants with explicit typargs to avoid false positives for equality approximations like ‹card UNIV === card UNIV› | changeset | files |
| Fri, 04 Apr 2025 23:12:19 +0200 | haftmann | restored type reconstruction for nbe: remaining type variables must remain schematic for checking | changeset | files |
| Fri, 04 Apr 2025 23:12:18 +0200 | haftmann | tuned | changeset | files |
| Fri, 04 Apr 2025 22:20:30 +0200 | wenzelm | merged | changeset | files |
| Fri, 04 Apr 2025 22:20:23 +0200 | wenzelm | NEWS; | changeset | files |